Towards User-Friendly Projectional Editors
Abstract elided by the publisher.
Related papers
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- Robust projectional editing SLE 2017
- Efficient development of consistent projectional editors using grammar cells SLE 2016
- On the Impact of Formal Verification on Software Development OOPSLA 2025
- Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives CPP 2012
- User-friendly functional programming for web mashups ICFP 2007
- HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming OOPSLA 2025
- Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly Haskell 2021