Simulation Revisited
No abstract available.
Related papers
- Formally Verifying Optimizations with Block Simulations OOPSLA 2023
- Parameter Passing and Control Stack Management in Prolog Implementation Revisited TOPLAS 1996
- Verifying Low-Dimensional Input Neural Networks via Input Quantization SAS 2021
- Compiling with continuations, correctly OOPSLA 2021
- Lazy Annotation Revisited CAV 2014
- Walkabout Revisited: The Runabout ECOOP 2003
- The Expression Problem Revisited ECOOP 2004
- Coupled software transformations revisited SLE 2016