A type-safe structure editor calculus

Christian Godiksen; Thomas Herrmann; Hans Hüttel; Mikkel Korup Lauridsen; Iman Owliaie

doi:10.1145/3441296.3441393

A type-safe structure editor calculus

Christian Godiksen^*, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

2 Citations (Scopus)

Abstract

Structure editors make syntax errors impossible, but they still allow construction of programs with incomplete semantics, leading to program states that cannot be evaluated. We introduce a structure editor calculus for a simple functional programming language that allows for incomplete programs. Our editor expressions may interleave construction and evaluation of programs and can thus describe the history of the development of a program. We extend our editor calculus with types and define a resource-aware type system that prohibits editor expressions introducing type errors in the abstract syntax tree and prove that the type system is sound.

Original language	English
Title of host publication	PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021
Number of pages	13
Publisher	Association for Computing Machinery
Publication date	18 Jan 2021
Pages	1-13
ISBN (Electronic)	9781450383059
DOIs	https://doi.org/10.1145/3441296.3441393
Publication status	Published - 18 Jan 2021
Event	2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021 - Virtual, Online, Denmark Duration: 18 Jan 2021 → 19 Jan 2021

Conference

Conference	2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021
Country/Territory	Denmark
City	Virtual, Online
Period	18/01/2021 → 19/01/2021
Sponsor	ACM SIGPLAN

Series	PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021

Bibliographical note

Publisher Copyright:
© 2021 ACM.

Keywords

functional programming
structure editors
type systems

Access to Document

10.1145/3441296.3441393

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Godiksen, Christian ; Herrmann, Thomas ; Hüttel, Hans et al. / A type-safe structure editor calculus. PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, 2021. pp. 1-13 (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

@inproceedings{62a82531c03c4d418bdc4a60f0ebc54f,

title = "A type-safe structure editor calculus",

abstract = "Structure editors make syntax errors impossible, but they still allow construction of programs with incomplete semantics, leading to program states that cannot be evaluated. We introduce a structure editor calculus for a simple functional programming language that allows for incomplete programs. Our editor expressions may interleave construction and evaluation of programs and can thus describe the history of the development of a program. We extend our editor calculus with types and define a resource-aware type system that prohibits editor expressions introducing type errors in the abstract syntax tree and prove that the type system is sound. ",

keywords = "functional programming, structure editors, type systems",

author = "Christian Godiksen and Thomas Herrmann and Hans H{\"u}ttel and Lauridsen, {Mikkel Korup} and Iman Owliaie",

note = "Publisher Copyright: {\textcopyright} 2021 ACM.; 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021 ; Conference date: 18-01-2021 Through 19-01-2021",

year = "2021",

month = jan,

day = "18",

doi = "10.1145/3441296.3441393",

language = "English",

series = "PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021",

pages = "1--13",

booktitle = "PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021",

publisher = "Association for Computing Machinery",

address = "United States",

}

Godiksen, C, Herrmann, T, Hüttel, H, Lauridsen, MK & Owliaie, I 2021, A type-safe structure editor calculus. in PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021, pp. 1-13, 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021, Virtual, Online, Denmark, 18/01/2021. https://doi.org/10.1145/3441296.3441393

A type-safe structure editor calculus. / Godiksen, Christian; Herrmann, Thomas; Hüttel, Hans et al.
PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, 2021. p. 1-13 (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - A type-safe structure editor calculus

AU - Godiksen, Christian

AU - Herrmann, Thomas

AU - Hüttel, Hans

AU - Lauridsen, Mikkel Korup

AU - Owliaie, Iman

PY - 2021/1/18

Y1 - 2021/1/18

N2 - Structure editors make syntax errors impossible, but they still allow construction of programs with incomplete semantics, leading to program states that cannot be evaluated. We introduce a structure editor calculus for a simple functional programming language that allows for incomplete programs. Our editor expressions may interleave construction and evaluation of programs and can thus describe the history of the development of a program. We extend our editor calculus with types and define a resource-aware type system that prohibits editor expressions introducing type errors in the abstract syntax tree and prove that the type system is sound.

AB - Structure editors make syntax errors impossible, but they still allow construction of programs with incomplete semantics, leading to program states that cannot be evaluated. We introduce a structure editor calculus for a simple functional programming language that allows for incomplete programs. Our editor expressions may interleave construction and evaluation of programs and can thus describe the history of the development of a program. We extend our editor calculus with types and define a resource-aware type system that prohibits editor expressions introducing type errors in the abstract syntax tree and prove that the type system is sound.

KW - functional programming

KW - structure editors

KW - type systems

UR - http://www.scopus.com/inward/record.url?scp=85099731823&partnerID=8YFLogxK

U2 - 10.1145/3441296.3441393

DO - 10.1145/3441296.3441393

M3 - Article in proceeding

AN - SCOPUS:85099731823

T3 - PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021

SP - 1

EP - 13

BT - PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021

PB - Association for Computing Machinery

T2 - 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2021, co-located with the Annual Symposium on Principles of Programming Languages, POPL 2021

Y2 - 18 January 2021 through 19 January 2021

ER -

Godiksen C, Herrmann T, Hüttel H, Lauridsen MK, Owliaie I. A type-safe structure editor calculus. In PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery. 2021. p. 1-13. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021). doi: 10.1145/3441296.3441393

A type-safe structure editor calculus

Abstract

Conference

Bibliographical note

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this