Similar Items: Abstract Model Repair
- Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
- Games for Bisimulations and Abstraction
- Abstract Completion, Formalized
- An intensionally fully-abstract sheaf model for $pi$ (expanded version)
- Peer-aided repairer: empowering large language models to repair advanced student assignments
- A Fully Abstract Model of PCF Based on Extended Addressing Machines