Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

✍ Scribed by Germán Vidal (auth.), Danny De Schreye (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Tongue: English
Leaves: 214
Series: Lecture Notes in Computer Science 6037 : Theoretical Computer Science and General Issues
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

✦ Table of Contents

Front Matter....Pages -
Towards Scalable Partial Evaluation of Declarative Programs....Pages 1-4
Deciding Full Branching Time Logic by Program Transformation....Pages 5-21
A Transformational Approach for Proving Properties of the CHR Constraint Store....Pages 22-36
The Dependency Triple Framework for Termination of Logic Programs....Pages 37-51
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing....Pages 52-66
LP with Flexible Grouping and Aggregates Using Modes....Pages 67-81
On Inductive and Coinductive Proofs via Unfold/Fold Transformations....Pages 82-96
Coinductive Logic Programming with Negation....Pages 97-112
Refining Exceptions in Four-Valued Logic....Pages 113-127
Towards a Framework for Constraint-Based Test Case Generation....Pages 128-142
Using Rewrite Strategies for Testing BUpL Agents....Pages 143-157
Towards Just-In-Time Partial Evaluation of Prolog....Pages 158-172
Program Parallelization Using Synchronized Pipelining....Pages 173-187
Defining Datalog in Rewriting Logic....Pages 188-204
Back Matter....Pages -

✦ Subjects

Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters

📜 SIMILAR VOLUMES

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

✍ Germán Vidal (auth.), Danny De Schreye (eds.) 📂 Library 📅 2010 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science and General Issues)

✍ Danny De Schreye 📂 Library 📅 2010 🏛 Springer 🌐 English

Logic Based Program Synthesis and Transf

📁 Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

✍ François Fages (auth.), Patricia M. Hill (eds.) 📂 Library 📅 2006 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in London, UK in September 2005 in conjunction with SAS 2005, the Symposium on Static Analysis.The 10 revised full paper

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

✍ Massimo Marchiori (auth.), Germán Puebla (eds.) 📂 Library 📅 2007 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.The 14 revised full papers present

Logic Based Program Synthesis and Transf

📁 Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

✍ Wim Vanhoof (auth.), Sandro Etalle (eds.) 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004, held in Verona, Italy in August 2004.The 17 revised full papers presented were carefully selected and revised from 23 full pap

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

✍ Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.) 📂 Library 📅 2009 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invite