Verwandte Artikel zu Logic-Based Program Synthesis and Transformation: 17th...
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Computer Science and General Issues) - Softcover
Inhaltsangabe
Book by None
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
Reseña del editor
This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, held in Kongens Lyngby, Denmark, August 23-24, 2007 colocated with SAS 2007. The 13 revised full papers presented together with one invited talk were carefully selected and revised from 30 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program termination, program transformation, constraint solving and analysis as well as software engineering.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 62,27
EUR 14,25 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Suchergebnisse für Logic-Based Program Synthesis and Transformation: 17th...
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... (Lecture Notes in Computer Science, 4915)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540787686_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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,a ge- 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. Artikel-Nr. 9783540787686
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Verlag:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540787682
ISBN 13: 9783540787686
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken fehlerhaft geklebt, Aufl. 2008 | Seiten: 232 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 4294964/12
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic-based Program Synthesis and Transformation: 17th International Symposium, Lopstr 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2008 edition. 217 pages. 9.00x6.00x0.75 inches. In Stock. Artikel-Nr. x-3540787682
Anzahl: 2 verfügbar