Direct Manipulation for Imperative Programs
No abstract available.
Related papers
- A language-based approach to functionally correct imperative programming ICFP 2005
- The ZOO Metasystem: A Direct-Manipulation Interface to Object-Oriented Knowledge Bases ECOOP 1987
- Fusing Direct Manipulations into Functional Programs POPL 2024
- Automatic numeric abstractions for heap-manipulating programs POPL 2010
- Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence PLDI 2025
- Programmatic and direct manipulation, together at last PLDI 2016
- Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects OOPSLA 2023
- Bidirectional evaluation with direct manipulation OOPSLA 2018