Certifiably Sound Parallelizing Transformations
No abstract available.
DOI 10.1007/978-3-319-03545-1_15
Related papers
- A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks POPL 1986
- Certified Normalization of Context-Free Grammars CPP 2015
- Executing certified model transformations on Apache Spark SLE 2021
- Certified Verification for Algebraic Abstraction CAV 2023
- Certified abstract machines for skeletal semantics CPP 2022
- Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers OOPSLA 2025
- Modular development of certified program verifiers with a proof assistant ICFP 2006
- Modular development of certified program verifiers with a proof assistant, JFP 2008