Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science) - Hardcover

Poernomo, Iman; Crossley, John N.; Wirsing, Martin

Hardcover

ISBN 10: 0387237593 ISBN 13: 9780387237596

Verlag: Springer, 2005

Inhaltsangabe

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.

Über diesen Titel

Críticas

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)

Reseña del editor

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2005
• Sprache: Englisch
• ISBN 10: 0387237593
• ISBN 13: 9780387237596
• Einband: Tapa dura
• Anzahl der Seiten: 436
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland