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.
Tue 19 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
18:00 - 19:00
|A Type-Safe Structure Editor Calculus|
Christian Godiksen Department of Computer Science, Aalborg University, Thomas Herrmann Department of Computer Science, Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, Mikkel Korup Lauridsen Department of Computer Science, Aalborg University, Iman Owliaie Department of Computer Science, Aalborg UniversityMedia Attached
|Strictly Capturing Non-Strict Closures|
Zachary Sullivan University of Oregon, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USAMedia Attached