paper:doi-10-4230-lipics-snapl-2017-11Toward Semantic Foundations for Program Editors
Original abstract (expand)
Programming language definitions assign formal meaning to complete programs. Programmers, however, spend a substantial amount of time interacting with incomplete programs - programs with holes, type inconsistencies and binding inconsistencies - using tools like program editors and live programming environments (which interleave editing and evaluation). Semanticists have done comparatively little to formally characterize (1) the static and dynamic semantics of incomplete programs; (2) the actions available to programmers as they edit and inspect incomplete programs; and (3) the behavior of editor services that suggest likely edit actions to the programmer based on semantic information extracted from the incomplete program being edited, and from programs that the system has encountered in the past. This paper serves as a vision statement for a research program that seeks to develop these "missing" semantic foundations. Our hope is that these contributions, which will take the form of a series of simple formal calculi equipped with a tractable metatheory, will guide the design of a variety of current and future interactive programming tools, much as various lambda calculi have guided modern language designs. Our own research will apply these principles in the design of Hazel, an experimental live lab notebook programming environment designed for data science tasks. We plan to co-design the Hazel language with the editor so that we can explore concepts such as edit-time semantic conflict resolution mechanisms and mechanisms that allow library providers to install library-specific editor services.
Related work— refs + corpus + external arXiv
Cited / in-corpus / arXiv badges show which signals surfaced each row. Multi-source rows weighted higher.
- An Encoding of Abstract Dialectical Frameworks into Higher-Order LogicAlexander Steen Antoine Martina2026≈ 72%
- Survey in Characterizing Semantic ChangeMarcos Da Silveira, C\'edric Pruski Jader Martins Camboim de S\'a2026≈ 71%
- Toward Agentic Software Engineering Beyond Code: Framing Vision, Values, and VocabularyRashina Hoda2026≈ 70%
- ≈ 69%
- Pelican Soup Framework: A Theoretical Framework for Language Model CapabilitiesDani Yogatama Ting-Rui Chiang2026≈ 69%
- Advances and Challenges in Foundation Agents: From Brain-Inspired Intelligence to Evolutionary, Collaborative, and Safe SystemsXinfeng Li, Jiayi Zhang, Jinlin Wang, Tanjin He, Sirui Hong, Hongzhang Liu, Shaokun Zhang, Kaitao Song, Kunlun Zhu, Yuheng Cheng, Suyuchen Wang, Xiaoqiang Wang, Yuyu Luo, Haibo Jin, Peiyan Zhang, Ollie Liu, Jiaqi Chen, Huan Zhang, Zhaoyang Yu, Haochen Shi, Boyan Li, Dekun Wu, Fengwei Teng, Xiaojun Jia, Jiawei Xu, Jinyu Xiang, Yizhang Lin, Tianming Liu, Tongliang Liu, Yu Su, Huan Sun, Glen Berseth, Jianyun Nie, Ian Foster, Logan Ward, Qingyun Wu, Yu Gu, Mingchen Zhuge, Xinbing Liang, Xiangru Tang, Haohan Wang, Jiaxuan You, Chi Wang, Jian Pei, Qiang Yang, Xiaoliang Qi, Chenglin Wu Bang Liu2025≈ 68%
- Free and Open-Source Software is not an Emerging Property but Rather the Result of Studied DesignPaolo Magrassi2010≈ 68%
- Steps Towards an Infrastructure for Scholarly SynthesisMatthew Akamatsu, David Vargas, Lukas Kawerau, Michael Gartner Joel Chan2024≈ 68%
- ≈ 68%
- Natural Language Processing in the Legal DomainDaniel Martin Katz, Michael J. Bommarito, Lauritz Gerlach, Abhik Jana, and Jerrold Soh Dirk Hartung2026≈ 68%
- ≈ 68%
- Towards Conversational Development Environments: Using Theory-of-Mind and Multi-Agent Architectures for Requirements RefinementKeheliya Gallaba and Ali Arabat and Dayi Lin and Mohammed Sayagh and Ahmed E. Hassan2025≈ 68%
- ≈ 68%
- A Pattern Language for Machine Learning TasksIan Fan, Tuomas Laakkonen, Neil John Ortega, Thomas Hoffmann, Vincent Wang-Mascianica Benjamin Rodatz2025≈ 68%
- Linguistic Frameworks Go Toe-to-Toe at Neuro-Symbolic Language ModelingNathan Schneider, Lingpeng Kong Jakob Prange2026≈ 67%
- Opening the Hood of a Word Processorin corpus1984≈ 66%
- Interpreting Language Model Parametersin corpus2026≈ 66%
- Technical Dimensions of Programming Systemsin corpus2023≈ 66%
- Towards a theory of conceptual design for softwarein corpus2015≈ 66%
- ≈ 65%
- Mechanistic Knobs in LLMs: Retrieving and Steering High-Order Semantic Features via Sparse Autoencodersin corpus2026≈ 64%
- ≈ 64%
- ≈ 64%
- Finding Alignments Between Interpretable Causal Variables and Distributed Neural Representationsin corpus2023≈ 64%
- ≈ 63%
- ≈ 63%
- ≈ 63%
Similar preprints — Semantic Scholar
Cited by (1)
- Technical Dimensions of Programming Systems
Programming systems research has lacked a common analytic vocabulary comparable to what exists for programming languages, leaving systems like Smalltalk, UNIX, HyperCard, and Jupyter evaluable only th