Similar Items: Modular, Fully-abstract Compilation by Approximate Back-translation
- Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
- Automatic Modular Abstractions for Template Numerical Constraints
- Inductive Definition and Domain Theoretic Properties of Fully Abstract
- An intensionally fully-abstract sheaf model for $pi$ (expanded version)
- Predicate Abstraction with Under-approximation Refinement
- Abstract GSOS Rules and a Modular Treatment of Recursive Definitions