Items related to Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation - Softcover

 
9783540821038: Logic Based Program Synthesis and Transformation

This specific ISBN edition is currently not available.

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

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2008
  • ISBN 10 3540821031
  • ISBN 13 9783540821038
  • BindingPaperback
  • LanguageEnglish
  • Number of pages196
  • EditorHill Patricia M.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540326540: Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3901)

Featured Edition

ISBN 10:  3540326545 ISBN 13:  9783540326540
Publisher: Springer, 2006
Softcover