Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers - Lecture Notes in Computer Science 1817 (Paperback)
  • Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers - Lecture Notes in Computer Science 1817 (Paperback)
zoom

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers - Lecture Notes in Computer Science 1817 (Paperback)

(editor)
£62.99
Paperback 312 Pages / Published: 07/06/2000
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR'99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR'99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR's topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540676287
Number of pages: 312
Weight: 1030 g
Dimensions: 233 x 155 x 17 mm
Edition: 2000 ed.

You may also be interested in...

JavaScript Pocket Reference
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
Designing Data-Intensive Applications
Added to basket
Eloquent Javascript, 2nd Ed.
Added to basket
Coding for Beginners in easy steps
Added to basket
Python for Data Science For Dummies
Added to basket
Automate The Boring Stuff With Python
Added to basket
SQL For Dummies
Added to basket
£21.99
Paperback
The Agile Culture
Added to basket
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
C Programming in Easy Steps
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.