Authors:
- 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)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Prologue
-
Front Matter
-
-
Generalizing Proofs-as-Programs
-
Front Matter
-
-
Imperative Proofs-as-Programs
-
Front Matter
-
-
Structured Proofs-as-Programs
-
Front Matter
-
-
Epilogue
-
Front Matter
-
-
Back Matter
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
-
Department of Computer Science, King’s College London Strand, London, UK
Iman Hafiz Poernomo
-
Institut für Informatik, Ludwig-Maximilians Universitat München, München, Germany
Martin Wirsing
-
School of Computer Science and Software Engineering, Monash University, Victoria, Australia
John Newsome Crossley
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