Automatic Generation of Editors for Higher-Order Data Structures
Abstract elided by the publisher.
Related papers
- A relational framework for higher-order shape analysis ICFP 2014
- Random testing for higher-order, stateful programs OOPSLA 2010
- Partial Parsing for Structured Editors SLE 2022
- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic TACAS 2019
- Incremental data flow analysis in a structured program editor PLDI 1984
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System VMCAI 2007
- Bidirectionalization transformation based on automatic derivation of view complement functions ICFP 2007
- A logical analysis of aliasing in imperative higher-order functions JFP 2007