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.
FREE Two-Day Shipping for Students. Learn more |
| |||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Editorial Reviews
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)
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Ultimately, software developers would like to solve problems by building well-structured, comprehensible, correct programs, solely through the application of domain knowledge. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
modified realizer, final state identifiers, password checking system, computational type theory, extended realizer, return value realizer, imperative program synthesis, checking system example, logical type theory, functional program synthesis, immediate reduct, final state reference values, functional return values, general relational semantics, morphisms inl, visible axioms, intuitionistic subsystem, subsidiary induction hypothesis, value realizability, sort inference rules, extraction map, executable refinement, instantiated specifications, program synthesis methods, type inference rules Key Phrases - Capitalized Phrases (CAPs): (learn more)
State Val, Bertrand Meyer, Pis Harrop New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Ultimately, software developers would like to solve problems by building well-structured, comprehensible, correct programs, solely through the application of domain knowledge. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
modified realizer, final state identifiers, password checking system, computational type theory, extended realizer, return value realizer, imperative program synthesis, checking system example, logical type theory, functional program synthesis, immediate reduct, final state reference values, functional return values, general relational semantics, morphisms inl, visible axioms, intuitionistic subsystem, subsidiary induction hypothesis, value realizability, sort inference rules, extraction map, executable refinement, instantiated specifications, program synthesis methods, type inference rules Key Phrases - Capitalized Phrases (CAPs): (learn more)
State Val, Bertrand Meyer, Pis Harrop New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Citations (learn more)
This book cites 51
books:
See all 51 books this book cites
- Introduction to Metamathematics (Bibliotheca Mathematica) by S.C. Kleene in Back Matter
- Component Software: Beyond Object-Oriented Programming (2nd Edition) by Clemens Szyperski in Index
- Object-Oriented Software Construction (Book/CD-ROM) (2nd Edition) by Bertrand Meyer in Back Matter
- Panoramic Vision by Ryad Benosman in Front Matter
- On a Method of Multiprogramming (Monographs in Computer Science) by W.H.J. Feijen in Front Matter
See all 51 books this book cites
Books on Related Topics
(learn more)
|
What Other Items Do Customers Buy After Viewing This Item?
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Hardware > Microprocessors & System Design
- Books > Computers & Technology > Home Computing > Internet
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Science & Math > Mathematics
