Adapting Proofs-As-Programs: The Curry--Howard Protocol
No Customer Reviews
Select Format
Select Condition 
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 books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.
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"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
