ENGLISH

Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings

By I. J. Hayes , R. G. Nickson , P. A. Strooper (auth.) , John Gallagher (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1997
ISBN
3540627189, 9783540627180
DOI
10.1007/3-540-62718-9
LCC
QA76.63 .I57 1996
Open Library ID
OL662504M
Language
english
Format
PDF
Filesize
18 MB (18929387 bytes)
Series
Lecture Notes in Computer Science 1207
Edition
1
Pages
331\333
Topic
Computers
Time added
2011-06-04 13:46:07
Programming Techniques; Artificial Intelligence (i

Description

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Similar books