POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

This program is tentative and subject to change.

Tue 21 Jan 2025 10:00 - 10:30 at Room 6 - High-level abstraction and automation Chair(s): Nada Amin

Editor calculi make it possible to describe the actions of syntax-directed editing and provide guarantees of safety through their specialized type system: Well-typed editor scripts produce well-formed programs. So far, such calculi have been language-specific. In this paper we present a generalized editor calculus, which can be used to specify a specialized syntax-directed editor for any language, given its abstract syntax. Moreover we show how to implement an editor generator that allows one to generate an editor calculus-based syntax-directed editor from a language specification. The generalized editor calculus can be encoded into a simply typed lambda calculus, extended with pairs, booleans, pattern matching and fixed points. This implies a general type safety result that holds for any instantiation.

This program is tentative and subject to change.

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:30
High-level abstraction and automationPEPM at Room 6
Chair(s): Nada Amin Harvard University
09:00
10m
Day opening
Welcome
PEPM
Y. Annie Liu Stony Brook University
09:10
50m
Keynote
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)
PEPM
10:00
30m
Research paper
A type safe calculus for generating syntax-directed editors
PEPM
Andreas Tor Mortensen Department of Computer Science, Aalborg University, Benjamin Bennetzen Department of Computer Science, Aalborg University, Nikolaj Rossander Kristensen Department of Computer Science, Aalborg University, Peter Buus Steffensen Department of Computer Science, Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, Sune Skaaning Engtorp Department of Computer Science, University of Copenhagen