Program result checking: a new approach to making programs more reliable

DOI10.1007/3-540-56939-1_57MaRDI QIDQ4630244zbMATH OpenOpenAlexFDO

Authors Manuel Blum

Publication date 29 March 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56939-1_57

zbMATH Keywords

graph isomorphismHamilton cycleinteractive proofminimum spanning tree problemsoftware fault

Mathematics Subject Classification ID

Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60) Number-theoretic algorithms; complexity (11Y16) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• A functional framework for result checking
• Designing programs that check their work
• Program verification.
• Designing checkers for programs that run in parallel
• scientific article; zbMATH DE number 1390248

Cites work

• Checking approximate computations over the reals
• Designing programs that check their work
• scientific article; zbMATH DE number 998060 (Why is no real title available?)
• scientific article; zbMATH DE number 4191094 (Why is no real title available?)
• scientific article; zbMATH DE number 4213418 (Why is no real title available?)
• scientific article; zbMATH DE number 176732 (Why is no real title available?)
• scientific article; zbMATH DE number 177898 (Why is no real title available?)
• Non-deterministic exponential time has two-prover interactive protocols
• Self-testing/correcting with applications to numerical problems

Cited in

(3)

• Problem identification using program checking
• Certifying algorithms
• Efficient and accurate computation of upper bounds of approximation errors

This page was built for publication: Program result checking: a new approach to making programs more reliable

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