Types for Proofs and Programs
From MaRDI portal
Publication:5898176
DOI10.1007/11617990zbMath1172.68399OpenAlexW4300050167MaRDI QIDQ5898176
Solange Coupet-Grimal, William Delobel
Publication date: 13 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11617990
Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Verified abstract interpretation techniques for disassembling low-level self-modifying code, Certified Static Analysis by Abstract Interpretation, A formally verified compiler back-end, Building Certified Static Analysers by Modular Construction of Well-founded Lattices
Uses Software