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

by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley

Book Overview

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the book's central themes is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. The...

• Format: Paperback
• Language: English
• ISBN: 1441920145
• ISBN13: 9781441920140
• Release Date: November 2010
• Publisher: Springer
• Length: 420 Pages
• Weight: 1.33 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"