A syntactic approach to foundational proof-carrying code
From MaRDI portal
Publication:1826465
DOI10.1023/B:JARS.0000021012.97318.e9zbMath1069.68038MaRDI QIDQ1826465
Stefan Monnier, Valery Trifonov, Zhaozhong Ni, Zhong Shao, Nadeem A. Hamid
Publication date: 6 August 2004
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items
Modular development of certified program verifiers with a proof assistant,, Verified software units, Social processes, program verification and all that, Type-Safe Code Transformations in Haskell, Imperative LF Meta-Programming
Uses Software
