A Type-Safe Structure Editor Calculus

被引:2
|
作者
Godiksen, Christian [1 ]
Herrmann, Thomas [1 ]
Huttel, Hans [1 ]
Lauridsen, Mikkel Korup [1 ]
Owliaie, Iman [1 ]
机构
[1] Aalborg Univ, Dept Comp Sci, Aalborg O, Denmark
来源
PEPM '21: PROCEEDINGS OF THE 2021 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION | 2021年
关键词
Structure editors; type systems; functional programming;
D O I
10.1145/3441296.3441393
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页码:1 / 13
页数:13
相关论文
共 50 条
  • [21] Proposal for making Eiffel type-safe
    Cook, W.R., 1600, (32):
  • [22] A PROPOSAL FOR MAKING EIFFEL TYPE-SAFE
    COOK, WR
    COMPUTER JOURNAL, 1989, 32 (04): : 305 - 311
  • [23] Type-Safe Diff for Families of Datatypes
    Lempsink, Eelco
    Leather, Sean
    Loh, Andres
    WGP'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2009, : 61 - 72
  • [24] Type-Safe Code Transformations in Haskell
    Guillemette, Louis-Julien
    Monnier, Stefan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (07) : 23 - 39
  • [25] WHAT IS TYPE-SAFE CODE REUSE
    PALSBERG, J
    SCHWARTZBACH, MI
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 512 : 325 - 341
  • [26] A Type-Safe Embedding of XDuce into ML
    Sulzmann, Martin
    Lu, Kenny Zhuo Ming
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 148 (02) : 239 - 264
  • [27] Type-safe Quantum Programming in Idris
    Dandy, Liliane-Joy
    Jeandel, Emmanuel
    Zamdzhiev, Vladimir
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 507 - 534
  • [28] Type-safe optimisation of plugin architectures
    Glew, N
    Palsberg, J
    Grothoff, C
    STATIC ANALYSIS, PROCEEDINGS, 2005, 3672 : 135 - 154
  • [29] Type-safe runtime class upgrades in Creol
    Yu, Ingrid Chieh
    Johnsen, Einar Broch
    Owe, Olaf
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, 2006, 4037 : 202 - 217
  • [30] CCured: Type-safe retrofitting of legacy code
    Necula, GC
    McPeak, S
    Weimer, W
    ACM SIGPLAN NOTICES, 2002, 37 (01) : 128 - 139