Items related to Adapting Proofs-as-Programs: The Curry--Howard Protocol...
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) - Softcover
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.
"synopsis" may belong to another edition of this title.
Review:
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)
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2010
- ISBN 10 1441920145
- ISBN 13 9781441920140
- BindingPaperback
- Number of pages432
Buy New
Learn more about this copy
£ 132.34
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) by Poernomo, Iman Hafiz [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9781441920140
Buy New
£ 132.34
Convert currency
Stock Image
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Published by
Springer
(2010)
ISBN 10: 1441920145
ISBN 13: 9781441920140
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781441920140_lsuk
Buy New
£ 135.97
Convert currency
Stock Image
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Published by
Springer
(2010)
ISBN 10: 1441920145
ISBN 13: 9781441920140
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar2411530293821
Buy New
£ 145.52
Convert currency
Seller Image
Adapting Proofs-as-Programs
Published by
Springer New York Nov 2010
(2010)
ISBN 10: 1441920145
ISBN 13: 9781441920140
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 432 pp. Englisch. Seller Inventory # 9781441920140
Buy New
£ 139.80
Convert currency
Seller Image
Adapting Proofs-as-Programs
Published by
Springer New York
(2010)
ISBN 10: 1441920145
ISBN 13: 9781441920140
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Details several important advances in the direction of practical proofs-as-programs paradigm, which has applications in industrial-scale, complex software engineering problemsThe authors develop two novel applications in large-scale, coarse-grain . Seller Inventory # 4172565
Buy New
£ 118.60
Convert currency
Stock Image
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Seller:
Rating
Book Description Condition: New. Buy with confidence! Book is in new, never-used condition 1.28. Seller Inventory # bk1441920145xvz189zvxnew
Buy New
£ 164.15
Convert currency
Seller Image
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Published by
Springer New York
(2010)
ISBN 10: 1441920145
ISBN 13: 9781441920140
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and type theory. However, in recent years, the situation has become more balanced, and there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa'roll-your-own'approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis. These applications constitute an exemplary justi cation of the framework. Also, in and of themselves, these approaches to synthesis should be interesting forresearchers working in the target problem domains. Seller Inventory # 9781441920140
Buy New
£ 142.88
Convert currency
Stock Image
Adapting Proofs-as-Programs
Seller:
Rating
Book Description Condition: New. pp. 434. Seller Inventory # 263103592
Buy New
£ 172.72
Convert currency
Stock Image
Adapting Proofs-as-programs: The Curry--howard Protocol
Published by
Springer New York
(2005)
ISBN 10: 1441920145
ISBN 13: 9781441920140
New
Paperback
Quantity: 2
Seller:
Rating
Book Description Paperback. Condition: Brand New. 420 pages. 9.25x6.10x0.98 inches. In Stock. Seller Inventory # x-1441920145
Buy New
£ 172.52
Convert currency
Stock Image
Adapting Proofs-as-Programs
Published by
Springer-Verlag New York Inc.
(2010)
ISBN 10: 1441920145
ISBN 13: 9781441920140
New
Softcover
First Edition
Quantity: 15
Seller:
Rating
Book Description Condition: New. Series: Monographs in Computer Science. Num Pages: 432 pages, 54 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 658. . 2010. 1st ed. Softcover of orig. ed. 2005. Paperback. . . . . Seller Inventory # V9781441920140
Buy New
£ 183.89
Convert currency