 |
|
|
Item Details
| Title:
|
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
17TH INTERNATIONAL SYMPOSIUM, LOPSTR 2007, KONGENS LYNGBY, DENMARK, AUGUST 23-24, 2007, REVISED SELECTED PAPERS |
| By: |
Andy King (Editor) |
| Format: |
Paperback |
| List price:
|
£58.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540787682 |
| ISBN 13: |
9783540787686 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
18 March, 2008 |
| Edition: |
2008 ed. |
| Series: |
Lecture Notes in Computer Science / Theoretical Computer Science and General v. 4915 |
| Pages: |
232 |
| Description: |
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering. |
| Synopsis: |
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in KongensLyngby, Denmark, August 23-24,2007. Previous LOPSTR symposia were held in Venice (2007 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992 and 1991), Leuven (1997), Stockholm (1996), Arhhem (1995), Pisa (1994) and Louvain-la-Neuve (1993). The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR thus traditionally solicits papers in the areas of: speci?cation, synthesis, veri?cation, transformation,analysis,optimization,composition,security,reuse,applications andtools,component-basedsoftwaredevelopment,softwarearchitectures,age- based software development and program re?nement. Formal proceedings are produced only after the symposium, so that authors can incorporate this fe- back in the published papers. Thirty submissions were received and each - per, in turn, received at least three reviews.The Committee decided to accept seven full papers for presentation and for immediate inclusion in the ?nal po- conference proceedings. Nine extended abstracts were also selected for pres- tation, of which six papers were accepted for publication in this volume, after revision and another round of reviewing. Michael Codish contributed a paper to the proceedings to accompany his invited talk. I am very grateful to the Program Committee and the reviewers for their - valuable help and expertise. The Steering Committee and, in particular German ' Puebla,generouslysharedtheirexperience. |
| Illustrations: |
biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|