Cover Image

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /

Show other versions (1)

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 an...

Full description

Bibliographic Details
Corporate Authors: International Workshop on Logic-Based Program Synthesis and Transformation Paphos, Cyprus, SpringerLink (Online service)
Other Authors: Pettorossi, A. (Alberto), 1947-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science ; 2372.
Subjects:
Logic programming > Congresses.
Logic programming.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Item Description:Electronic resource.
Physical Description:1 online resource (viii, 265 pages) : illustrations.
Bibliography:Includes bibliographical references and index.
ISBN:9783540456070
3540456074
ISSN:0302-9743 ;