Adapting Proofs-as-Programs
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:…
Mehr
CHF 194.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Crossley, John Newsome / Wirsing, Martin
- ISBN: 978-0-387-28183-4
- EAN: 9780387281834
- Produktnummer: 12819630
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Plattform: PDF
- Masse: 2'380 KB
- Auflage: 2005
Bewertungen
Anmelden