Implementation of an Interpreter for a Parallel Language in Centaur
No abstract available.
Related papers
- Using the Centaur System to for Data-Parallel SIMD Programming: A Case Study ESOP 1992
- Centaur Technology Media Unit Verification CAV 2009
- A Relationship Between Abstract Interpretation and Projection Analysis POPL 1990
- Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions CAV 2026
- Verifying x86 instruction implementations CPP 2020
- Balancing Automation and Control for Formal Verification of Microprocessors CAV 2021
- Semantic Parallelization: A Practical Exercise in Abstract Interpretation POPL 1987
- A parallel abstract interpreter for JavaScript CGO 2015