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

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

2 Citationer (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.

Originalsprog	Engelsk
Titel	PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021
Antal sider	13
Forlag	Association for Computing Machinery
Publikationsdato	18 jan. 2021
Sider	1-13
ISBN (Elektronisk)	9781450383059
DOI	https://doi.org/10.1145/3441296.3441393
Status	Udgivet - 18 jan. 2021
Begivenhed	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, Danmark Varighed: 18 jan. 2021 → 19 jan. 2021

Konference

Konference	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
Land/Område	Danmark
By	Virtual, Online
Periode	18/01/2021 → 19/01/2021
Sponsor	ACM SIGPLAN

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

Bibliografisk note

Publisher Copyright:
© 2021 ACM.

Adgang til dokumentet

10.1145/3441296.3441393

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

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. s. 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. i 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, s. 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, Danmark, 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. s. 1-13 (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. I 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. s. 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

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater