Property-Oriented Expansion
Abstract elided by the publisher.
Related papers
- Expansion Postponement for Normalising Pure Type Systems JFP 1998
- Expansion for Universal Quantifiers ESOP 2012
- On Satisfiability of Nominal Subtyping with Variance ECOOP 2019
- Macrofication: Refactoring by Reverse Macro Expansion ESOP 2016
- Expansion-Based Removal of Semantic Partial Redundancies CC 1999
- Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion CAV 2009
- A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization CC 2004
- A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence ICFP 1997