A functional framework for result checking

DOI10.1007/978-3-642-12251-4_7MaRDI QIDQ3558330zbMATH OpenOpenAlexFDO

Authors Gilles Barthe, Pablo Buiras, César Kunz

Publication date 4 May 2010

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12251-4_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 4195192
• scientific article; zbMATH DE number 1256769
• Batch checking with applications to linear functions
• Designing checkers for programs that run in parallel
• A framework for the verification of certifying computations

Cited in

(4)

• A framework for the verification of certifying computations
• scientific article; zbMATH DE number 5734786 (Why is no real title available?)
• Software reliability via run-time result-checking
• Program result checking: a new approach to making programs more reliable

This page was built for publication: A functional framework for result checking

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