Repository | Book | Chapter

COPR BookmarkLink
181251

(2008) Deduction, computation, experiment, Dordrecht, Springer.

Proofs verifying programs and programs producing proofs

a conceptual analysis

Dag Prawitz

pp. 81-94

I shall deal here with conceptual questions concerning two related phenomena: 1) the use of deductive machinery to verify the correctness of computer programs, and 2) the running of programs on computers to produce proofs.

Publication details

DOI: 10.1007/978-88-470-0784-0_5

Full citation:

Prawitz, D. (2008)., Proofs verifying programs and programs producing proofs: a conceptual analysis, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 81-94.