Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Lecture Notes in Computer Science, 1512, Band 1512) - Softcover

Gimenez, Eduardo; Paulin-Mohring, Christine

 
9783540651376: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Lecture Notes in Computer Science, 1512, Band 1512)
Softcover
ISBN 10: 3540651373 ISBN 13: 9783540651376
Verlag: Springer, 2008

Inhaltsangabe

This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.
The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540651373
ISBN 13 
9783540651376
Einband
Taschenbuch
Anzahl der Seiten
388
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland