Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | Book | Chapter
Proofs verifying programs and programs producing proofs
a conceptual analysis
pp. 81-94
Abstract
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
Published in:
Lupacchini Rossella, Corsi Giovanna (2008) Deduction, computation, experiment: exploring the effectiveness of proof. Dordrecht, Springer.
Pages: 81-94
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-88-470-0784-0_5
Full citation:
Prawitz Dag (2008) „Proofs verifying programs and programs producing proofs: a conceptual analysis“, In: R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, 81–94.