AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

DOI10.1142/S0129054101000424zbMath1319.68057OpenAlexW1992440832MaRDI QIDQ5249251

Romeo A. Dumitrescu, Edgar F. A. Lederer

Publication date: 30 April 2015

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054101000424

zbMATH Keywords

result verificationresult-checkingrun-time checkingcoordination model/languagefunctional/imperative programmingparallel/distributed programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Software reliability via run-time result-checking
• Designing programs that check their work
• Reflections on the Pentium division bug
• Certification of computational results

This page was built for publication: AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS