Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science)

Pettorossi, Alberto [Editor]

ISBN 10: 3540439153 / ISBN 13: 9783540439158

Edité par Springer, 2002

A propos de cet article

Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

N° de réf. du vendeur DA1412277

Détails bibliographiques

• Titre: Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science)
• Éditeur: Springer
• Date de parution: 2002
• Langue: anglais
• ISBN à 10 chiffres: 3540439153
• ISBN à 13 chiffres: 9783540439158
• Reliure: Paperback
• État de l'article: Very Good

A propos de ce titre

Synopsis

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.
The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.