Testing Completeness of Code Selector Specifications
Abstract elided by the publisher.
Related papers
- Optimizing Smalltalk by Selector Code INdexing Can Be Practical ECOOP 1997
- Synthesizing an instruction selection rule library from semantic specifications CGO 2018
- Automatically generating instruction selectors using declarative machine descriptions POPL 2010
- Synthesizing Instruction Selection Back-Ends from ISA Specifications Made Practical CGO 2026
- Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis OOPSLA 2021
- CSS Minification via Constraint Solving TOPLAS 2019
- Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited POPL 1984
- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking TACAS 2005