Formalizing the SAFECode Type System
From MaRDI portal
Publication:2938049
DOI10.1007/978-3-319-03545-1_14zbMath1426.68048OpenAlexW109180904MaRDI QIDQ2938049
No author found.
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_14
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)
Uses Software
This page was built for publication: Formalizing the SAFECode Type System
