Falling Back on Executable Specifications
No abstract available.
DOI 10.1007/978-3-642-14107-2_26
Related papers
- Eager Haskell: resource-bounded execution yields efficient iteration Haskell 2002
- POSTER: HythTM: Extending the Applicability of Intel TSX Hardware Transactional Support PPoPP 2017
- Synthesizing Instruction Selection Back-Ends from ISA Specifications Made Practical CGO 2026
- Semi-symbolic inference for efficient streaming probabilistic programming OOPSLA 2022
- Optimization Coaching for JavaScript ECOOP 2015
- IRDL: an IR definition language for SSA compilers PLDI 2022
- Partial Method Compilation using Dynamic Profile Information OOPSLA 2001
- Lock reservation: Java locks can mostly do without atomic operations OOPSLA 2002