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

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

 
9780387237596: Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Tapa dura
ISBN 10: 0387237593 ISBN 13: 9780387237596
Editorial: Springer, 2005

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2005
Idioma
Inglés
ISBN 10 
0387237593
ISBN 13 
9780387237596
Encuadernación
Tapa dura
Número de páginas
436
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  1441920145 ISBN 13:  9781441920140
Editorial: Springer, 2010
Tapa blanda