Overview
- Details several important advances in the direction of practical proofs-as-programs paradigm, which has applications in industrial-scale, complex software engineering problems
- The authors develop two novel applications in large-scale, coarse-grain software engineering problems
- The applications given in the book should be interesting for researchers working proofs-as-programs, logical frameworks, and computational logic
Part of the book series: Monographs in Computer Science (MCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
-
Prologue
-
Generalizing Proofs-as-Programs
-
Imperative Proofs-as-Programs
-
Structured Proofs-as-Programs
-
Epilogue
Keywords
About this book
Reviews
From the reviews:
"This monograph serves the dual purpose of providing a state-of-the-art overview of the field and detailing tools and techniques to stimulate further research. It can serve as material for graduate students in computer science or mathematics, the proofs-as-programs research community and the computational logic, formal methods and software engineering communities." (Doina Tatar, Zentralblatt MATH, Vol. 1095 (21), 2006)
Authors and Affiliations
Bibliographic Information
Book Title: Adapting Proofs-as-Programs
Book Subtitle: The Curry--Howard Protocol
Authors: Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley
Series Title: Monographs in Computer Science
DOI: https://doi.org/10.1007/0-387-28183-5
Publisher: Springer New York, NY
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag New York 2005
Hardcover ISBN: 978-0-387-23759-6Published: 21 June 2005
Softcover ISBN: 978-1-4419-2014-0Published: 19 November 2010
eBook ISBN: 978-0-387-28183-4Published: 27 April 2007
Series ISSN: 0172-603X
Series E-ISSN: 2512-5486
Edition Number: 1
Number of Pages: XII, 420
Number of Illustrations: 54 b/w illustrations
Topics: Logics and Meanings of Programs, Mathematical Logic and Foundations, Logic Design, Programming Techniques, Software Engineering/Programming and Operating Systems, Models and Principles