Certifiably Sound Parallelizing Transformations

DOI10.1007/978-3-319-03545-1_15zbMath1426.68040OpenAlexW1598187694MaRDI QIDQ2938050

Christian J. Bell

Publication date: 13 January 2015

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-03545-1_15

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Translation validation of coloured Petri net models of programs on integers

Uses Software

• Coq
• CompCert

This page was built for publication: Certifiably Sound Parallelizing Transformations