Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 Selected Papers

Pettorossi, Alberto

ISBN 10: 3540439153 / ISBN 13: 9783540439158

Published by Springer-Verlag, New York, 2002

About this Item

Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Lecture Notes in Computer Science ;2372. [viii, 265 p. : fig. ; 24 cm]. Seller Inventory # 011829

Bibliographic Details

Title: Logic Based Program Synthesis and ...

Publisher: Springer-Verlag, New York

Publication Date: 2002

Binding: Hardcover

Condition: Very Good

Dust Jacket Condition: No Jacket

About this title

Synopsis:

Logic Based Program Synthesis and Transformation These are the refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001; covering program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

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.