ENGLISH

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

By Natarajan Shankar (auth.) , Alberto Pettorossi (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2002
ISBN
978-3-540-43915-8, 978-3-540-45607-0, 3-540-43915-3
DOI
10.1007/3-540-45607-4
Language
english
Format
PDF
Filesize
3 MB (3104396 bytes)
Series
Lecture Notes in Computer Science 2372
Edition
1
Pages
272\275
Time added
2014-01-18 08:00:00
Logics and Meanings of Programs; Programming Techn

Description

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.

Similar books