English
Deutsch
Français
简体中文
繁體中文
Categories
Study
-- IT Certification
-- Mathematics
-- Physics
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Advances in Complex Function Theory (Lecture Notes in Mathematics) by W. E. Kirwan (Repost)
Matrix Mathematics - Theory, Facts, and Formulas, Second Edition
Mathematics Probability, Markov Chains, Queues, and Simulation - The Mathematical Basis of Performance Modeling
Algebraic Aspects of Cryptography (Algorithms and Computation in Mathematics) by Neal Koblitz (Repost)
Mathematics Mathematical Foundations of Computer Science 2004 [Repost]
Mathematics Mathematical Logic for Computer Science (3rd edition)
Spaces of Holomorphic Functions in the Unit Ball (Graduate Texts in Mathematics) by Kehe Zhu (Repost)
An Introduction to Ergodic Theory (Graduate Texts in Mathematics) by Peter Walters (Repost)
Mathematics Symmetry Theory in Molecular Physics with Mathematica: A new kind of tutorial book (Repost)
-Mathematics for the Physical Sciences- by Herbert S. Wilf
Mathematics for Elementary Teachers - A Conceptual Approach, 9 edition
Computer-Enabled Mathematics - Integrating Experiment and Theory in Teacher Education
How to Fold It - The Mathematics of Linkages, Origami and Polyhedra
Mathematics Engineering Analysis: Interactive Methods and Programs with FORTRAN, QuickBASIC, MATLAB, and Mathematica [Repost]
Mathematics Maverick Mathematician: The Life and Science of J.E. Moyal
African Mathematics: From Bones to Computers (repost)
Topology (Allyn and Bacon Series in Advanced Mathematics) by James Dugundji
Mathematics Fundamentals of Algebraic Modeling - An Introduction to Mathematical Modeling with Algebra and Statistics, 5 edition
Mathematics LMSST - 24 Lectures on Elliptic Curves (London Mathematical Society Student Texts) by J. W. S. Cassels
Useful Links
Mathematics Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Posted on 2010-04-13
|  |
Author: John Newsome Crossley, Iman Hafiz Poernomo, Martin Wirsing
Publisher: Springer (2005) Binding: Hardcover, 420 pages pricer: $89.95 ISBN-10: 0387237593 editorialreviews This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves?the dual purpose of providing a state-of-the-art overview of the field and detailing tools and techniques to stimulate further research. 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, which the authors call the Curry--Howard Protocol. This protocol is used to provide two novel applications for industrial-scale, complex software engineering: contractual imperative program synthesis and structured software synthesis. These applications constitute an exemplary justification for the applicability of the protocol to different contexts. The book is intended for graduate students in computer science or mathematics who wish to extend their background in logic and type theory as well as gain experience working with logical frameworks and practical proof systems. In addition, the proofs-as-programs research community, and the wider computational logic, formal methods and software engineering communities will benefit. The applications given in the book should be of interest for researchers working in the target problem domains. checked checked checked failed failed failed failed checked failed failed failed
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| data_model_resource_book.v2.cd.rar | Alive |
| http:/…/…mihd.net/…exql8s | Alive |
| Download Link (0387237593.pdf.zip) | Alive |
| Download Link Part 1 | Alive |
| Download Link Part 4 | Alive |
| Download Link Part 3 | Alive |
| Download Link Part 2 | Alive |
| Adapting_Proofs-as-Programs-The_Curry-Howard_Protocol-0387237593.rar | Alive |
| Download Link (6061361.html) | Alive |
| http:/…/…mihd.net/…ck1ajn | Alive |
| http:/…/…mihd.net/…dv2cq1 | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Adapting Proofs-as-Programs : The Curry-Howard Protocol Adapting Proofs-as-Programs : The Curry-Howard ProtocolSpringer | 2005-06-21 | ISBN: 0387237593 | 420 Pages | 3.23 MB | PDFThis monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of appr ... |
| Programming Iman Hafiz Poernomo, John Newsome Crossley - Adapting Proofs-as-Programs: The Curry-Howard Protocol (Repost) Iman Hafiz Poernomo, John Newsome Crossley - Adapting Proofs-as-Programs:The Curry-Howard ProtocolSpringer | 2005 | ISBN: 0387237593 | Pages: 420 | PDF | 5.12 MBThis monograph details several important advances in the area known as the proo ... |
 | Study Termination Proofs for Logic Programs Termination Proofs for Logic ProgramsSpringer | ISBN: 3540528377 | 1990-08-24 | PDF | 142 pages | 6 Mb Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of ter ... |
| Technical Termination Proofs for Logic Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) ISBN: 3540528377 Publisher: Springer Author: Lutz PlümerDescription:Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until n ... |
 | Tutorial Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science: Volume 5111) Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science: Volume 5111)Publisher: Springer | ISBN: 3540850732 | edition 2008 | PDF | 234 pages | 1,94 mbThe present volume arose from the need for a com ... |
 | Technical Computer Systems: Theory, Technology, and Applications (Monographs in Computer Science) Author: Publisher: Springer (2004)Binding: Hardcover, 338 pagespricer: $109.00ISBN-10: 038720170XeditorialreviewsAn invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge ... |
Comments (0)
