Code merging using transformations and member identity
AR Teles, AL Santos - Proceedings of the 2023 ACM SIGPLAN …, 2023 - dl.acm.org
Conventionally, merging code files is performed using generic line-based merging
algorithms (eg, diff3) that are unaware of the syntax and semantics of the programming …
algorithms (eg, diff3) that are unaware of the syntax and semantics of the programming …
Projectional Editors for JSON-Based DSLs
Augmenting text-based programming with rich structured interactions has been explored in
many ways. Among these, projectional editors offer an enticing combination of structure …
many ways. Among these, projectional editors offer an enticing combination of structure …
Game Engine Wizardry for Programming Mischief
R van Rozen - Proceedings of the 2nd ACM SIGPLAN International …, 2023 - dl.acm.org
Programming grants individuals the capability to design, create, and bring ideas to life. To
improve their skills, programmers require powerful languages and programming …
improve their skills, programmers require powerful languages and programming …
PescaJ: A Projectional Editor for Java Featuring Scattered Code Aggregation
Conventionally, source code (and its documentation) is simultaneously a storage and
editing representation, through files and editors to manipulate them as text. Over the years …
editing representation, through files and editors to manipulate them as text. Over the years …
A Penny a Function: Towards Cost Transparent Cloud Programming
L Böhme, T Beckmann, S Baltes… - Proceedings of the 2nd …, 2023 - dl.acm.org
Understanding and managing monetary cost factors is crucial when developing cloud
applications. However, the diverse range of factors influencing costs for computation …
applications. However, the diverse range of factors influencing costs for computation …
Assessing the Understanding of Expressions: A Qualitative Study of Notional-Machine-Based Exam Questions
J Bevilacqua, L Chiodini, I Moreno Santos… - Proceedings of the 24th …, 2024 - dl.acm.org
Background and Context. Notional machines are widespread in computing education. While
they often are used to explain programming concepts, prior work on visual program …
they often are used to explain programming concepts, prior work on visual program …
Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory
JL Verter, T Petricek - arXiv preprint arXiv:2409.13872, 2024 - arxiv.org
There are two kinds of systems that programming language researchers use for their work.
Semantics engineering tools let them interactively explore their definitions, while proof …
Semantics engineering tools let them interactively explore their definitions, while proof …
Text Editing, with Structure
T Beckmann - 2024 IEEE Symposium on Visual Languages …, 2024 - ieeexplore.ieee.org
There is a plethora of programming tools in research that demonstrate the power of bringing
tools directly to the code they refer to: they visualize runtime state of expressions [5], replace …
tools directly to the code they refer to: they visualize runtime state of expressions [5], replace …
Visual Replacements: Cross-Language Domain-Specific Representations in Structured Editors
T Beckmann, D Stachnik, J Lincke… - Proceedings of the 2nd …, 2023 - dl.acm.org
To help developers work at the level of abstraction of their choice, some editors offer to
replace parts of source code with domain-specific representations (DSRs). Typically, such …
replace parts of source code with domain-specific representations (DSRs). Typically, such …
Autocorrection in Projectional Editors
AL Santos, Â Mendonça - … of the 8th International Conference on the Art …, 2024 - dl.acm.org
People often mistype words when using keyboards. Word processors commonly feature
autocorrection that checks for dictionary-based spelling mistakes and automatically performs …
autocorrection that checks for dictionary-based spelling mistakes and automatically performs …