Designing programs that check their work

Authors: Manuel Blum, Sampath Kannan

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://logic.csci.unt.edu/tarau/teaching/softeng/old/paperstodiscuss/3softwaretestingandmetrics/p269-blum.pdf.

Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Program verification-cor- rectness proofs, reliability, F.2.0 IAnalysis of Algorithms and Problem Complexity, General, F.3.1 [Logics and Meanings of Progrmas, Specifying and Verifying and Reasoning about Programs, G.3 [Probability and Statistics]-probabilistic algorithms (including Monte Carlo) General Terms, Algorithms, Design, Theory, Verification Additional Key Words and Phrases, Interactive proofs, probabilistic algorithms, program check- ing

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.549.2300

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.549.2300
http://logic.csci.unt.edu/tarau/teaching/softeng/old/paperstodiscuss/3softwaretestingandmetrics/p269-blum.pdf