AutoBayes/CC -- combining program synthesis with automatic code certification -- system description

DOI10.1007/3-540-45620-1_25MaRDI QIDQ4809067zbMATH OpenFDO

Authors Johann Schumann, Bernd Fischer, Michael W. Whalen

Publication date 12 August 2004

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/2392/23920290.htm, https://eprints.soton.ac.uk/262907/1/docu.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Synthesizing certified code
• A generic software safety document generator
• AutoBayes: a system for generating data analysis programs from statistical models
• From program verification to program synthesis
• Certifying compilation and run-time code generation

Cited in

(4)

• AutoBayes/CC
• AutoBayes: a system for generating data analysis programs from statistical models
• Synthesizing certified code
• A generic software safety document generator

This page was built for publication: AutoBayes/CC -- combining program synthesis with automatic code certification -- system description

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