Certifying compilers using higher-order theorem provers as certificate checkers
From MaRDI portal
Publication:633302
DOI10.1007/s10703-010-0108-7zbMath1211.68074WikidataQ122870988 ScholiaQ122870988MaRDI QIDQ633302
Jan Olaf Blech, Benjamin Grégoire
Publication date: 31 March 2011
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-010-0108-7
68N20: Theory of compilers and interpreters
Uses Software