Implementing High-Level Identification Specifications
No abstract available.
Related papers
- Static Identification of Delinquent Loads CGO 2004
- Automatic variation-point identification in function-block-based models GPCE 2010
- A Realistic Compiler Generator Based on High-Level Semantics POPL 1987
- Process Communication Based on Input Specifications TOPLAS 1981
- A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques PLDI 1989
- Analogy-making as a Core primitive in the software engineering toolbox Onward! 2020
- Kami: a platform for high-level parametric hardware specification and its modular verification ICFP 2017
- Preventing glitches and short circuits in high-level self-timed chip specifications PLDI 2015