ENGLISH

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

By Norbert E. Fuchs , Uta Schwertel (auth.) , Pierre Flener (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1999
ISBN
3540657657, 9783540657651
DOI
10.1007/3-540-48958-4
Open Library ID
OL15463513M
Language
english
Format
PDF
Filesize
2 MB (2004746 bytes)
Series
Lecture Notes in Computer Science 1559
Edition
1
Pages
338\340
Library
Kolxo3
Time added
2009-12-04 00:34:26
Logics and Meanings of Programs; Programming Techn

Description

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

Similar books