Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings - Couverture souple

Proietti, Maurizio

 
9783540609391: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
Couverture souple
ISBN 10 : 3540609393 ISBN 13 : 9783540609391
Editeur : Springer, 2008

Synopsis

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.
The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540609393
ISBN 13 
9783540609391
Reliure
Broché
Nombre de pages
284
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9780387609393: Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr'95, Utrecht, the Netherlands, September 20-22, 1995 : Proceedings

Edition présentée

ISBN 10 :  0387609393 ISBN 13 :  9780387609393
Editeur : Springer Nature, 1996
Couverture souple