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

✍ Scribed by Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

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

No coin nor oath required. For personal study only.

✦ Synopsis

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 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 -
Space Invading Systems Code....Pages 1-3
Test Data Generation of Bytecode by CLP Partial Evaluation....Pages 4-23
A Modular Equational Generalization Algorithm....Pages 24-39
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs....Pages 40-54
Analysis of Linear Hybrid Systems in CLP....Pages 55-70
Automatic Generation of Test Inputs for Mercury....Pages 71-86
Analytical Inductive Functional Programming....Pages 87-102
The MEB and CEB Static Analysis for CSP Specifications....Pages 103-118
Fast Offline Partial Evaluation of Large Logic Programs....Pages 119-134
An Inference Algorithm for Guaranteeing Safe Destruction....Pages 135-151
From Monomorphic to Polymorphic Well-Typings and Beyond....Pages 152-167
On Negative Unfolding in the Answer Set Semantics....Pages 168-184
Back Matter....Pages -

✦ Subjects

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

📜 SIMILAR VOLUMES

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

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: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

✍ María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas 📂 Library 📅 2003 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.The 15 revised full papers presented together with 7 abstracts were careful

Logic Based Program Synthesis and Transf

📁 Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

✍ María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas 📂 Library 📅 2003 🏛 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

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

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 tal

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