Deriving modular programs from short proofs

DOI10.1007/3-540-45744-5_47MaRDI QIDQ4539641zbMATH OpenFDO

Authors Uwe Egly, Stephan Schmitt

Publication date 10 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830561

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07)

Recommendations

• Extraction and verification of programs by analysis of formal proofs
• scientific article; zbMATH DE number 749923
• Proofs and programs: A naïve approach to program extraction
• Intuitionistic proof transformations and their application to constructive program synthesis
• scientific article; zbMATH DE number 2003148

This page was built for publication: Deriving modular programs from short proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539641)