Adapting Proofs-as-Programs: The Curry--Howard Protocol

Adapting Proofs-as-Programs: The Curry--Howard Protocol

Paperback(Softcover reprint of hardcover 1st ed. 2005)

$199.00
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, January 24

Product Details

ISBN-13: 9781441920140
Publisher: Springer New York
Publication date: 11/19/2010
Series: Monographs in Computer Science
Edition description: Softcover reprint of hardcover 1st ed. 2005
Pages: 420
Product dimensions: 6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

Prologue.- Generalizing Proofs-as-Programs.- Functional Program Synthesis.- The Curry-Howard Protocol.- Imperative Proofs-as-Programs.- Intuitionistic Hoare Logic.- Properties of Intuitionistic Hoare Logic.- Proofs-as-Imperative-Programs.- Structured Proofs-as-Programs.- Reasoning about Structured Specifications.- Proof-theoretic Properties of SSL.- Structured Proofs-as-Programs.- Generic Specifications.- Structured Program Synthesis.- Epilogue.- Conclusions: Toward Constructive Logic as a Practical 4GL.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews