Logic Based Program Synthesis and Transformation - Softcover

Softcover

ISBN 10: 3540821031 ISBN 13: 9783540821038

Publisher: Springer, 2008

Synopsis

This volumecontains a selection of papers presented at LOPSTR 2005, the 15th International Symposium on Logic-Based Program Synthesis and Transfor- tion, held September 7 9, 2005. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. Previous LOP- STR events have been held in Manchester, UK (1991, 1992, 1998), Louvain-la- Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), Venice, Italy (1999), L- don, UK(2000), Paphos, Cyprus(2001), Madrid, Spain(2002), Uppsala, Sweden (2003), Verona, Italy (2004). Since 1994 the proceedings have been published in the LNCS series of Springer. Wewouldliketo thank allthose who submitted papers to LOPSTR.Overall, we received 33 submissions (full papers and extended abstracts). Each subm- sion was reviewed by at least three people. The committee decided to accept 17 of these papers for presentation and for inclusion in the pre-conference p- ceedings. This volume contains a selection of revised full versions of ten of these papers. Thanks to all the authors of the accepted papers for the versionsprinted here and their presentations of these papers at LOPSTR 2005. We would like to thank Fran, cois Fages for agreeing to give an invited talk and his contribution of a short paper included in these proceedings. I am very grateful to the Program Committee as well as all the external reviewers for the reviewing of the submitted papers and invaluable help in the selection of these papers for presentat

Edition details

• Publisher: Springer
• Publication date: 2008
• ISBN 10: 3540821031
• ISBN 13: 9783540821038
• Binding: Paperback
• Language: English
• Number of pages: 196
• Editor: Hill Patricia M.