Logic-Based Program Synthesis and Transformation by Andy King
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.-
Replication
-
CONCUR 2011 -- Concurrency Theory
-
Verification, Model Checking, and Abstract Interpretation
-
Neural Information Processing. Models and Applications
-
Neural Information Processing. Theory and Algorithms
-
Principles of Distributed Systems
-
Large-Scale Scientific Computing
-
Algorithms - ESA 2010
-
Automata, Languages and Programming
-
Computer Science – Theory and Applications
-
Architecture of Computing Systems - ARCS 2020
-
String Processing and Information Retrieval
-
Integer Programming and Combinatorial Optimization
-
Algorithms and Architectures for Parallel Processing
-
Mathematical Optimization Theory and Operations Research
-
Computational Science and Its Applications – ICCSA 2020
-
Computational Science – ICCS 2020
-
Supercomputing Frontiers
-
Functional and Logic Programming
-
Pristine Perspectives on Logic, Language and Computation
-
LATIN 2014: Theoretical Informatics
-
Beyond the Horizon of Computability
-
Combinatorial Algorithms
-
Computer Aided Verification
-
Information Retrieval
-
Algorithms and Applications
-
LATIN 2010: Theoretical Informatics
-
Programming Languages and Systems
-
Variable Neighborhood Search
-
Frontiers in Algorithmics
-
Evolutionary Multi-Criterion Optimization
-
Swarm Intelligence
-
Applications of Evolutionary Computing
-
Graph Drawing
-
Foundations of Software Science and Computation Structures
-
Edward I (Penguin Monarchs)
-
The Port of Bristol
-
The Hundred Years War Revisited
-
England and Scotland at War, c.1296-c.1513
-
England and Scotland in the Fourteenth Century: New Perspectives
-
Edward I: New Interpretations
-
England and Scotland, 1286-1603
-
Sir Thomas Gray: Scalacronica (1272-1363)
-
Fundamental Mountain Biking
Andy King is Lecturer in History at the University of Southampton, UK.
Claire Etty is Senior Assistant Researcher at the Oxford English Dictionary, UK.
Claire Etty is Senior Assistant Researcher at the Oxford English Dictionary, UK.
| SKU | Unavailable |
| ISBN 13 | 9783540787686 |
| ISBN 10 | 3540787682 |
| Title | Logic-Based Program Synthesis and Transformation |
| Author | Andy King |
| Series | Theoretical Computer Science And General Issues |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2008-03-18 |
| Number of pages | 222 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |