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

✍ Scribed by François Fages (auth.), Patricia M. Hill (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Tongue: English
Leaves: 186
Series: Lecture Notes in Computer Science 3901 : 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-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 papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

✦ Table of Contents

Front Matter....Pages -
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM....Pages 1-5
Declarative Programming with Function Patterns....Pages 6-22
Transformational Verification of Parameterized Protocols Using Array Formulas....Pages 23-43
Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language....Pages 44-60
An Algorithm for Local Variable Elimination in Normal Logic Programs....Pages 61-79
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs....Pages 80-97
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives....Pages 98-114
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates....Pages 115-132
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs....Pages 133-146
Converting One Type-Based Abstract Domain to Another....Pages 147-162
Experiments in Context-Sensitive Analysis of Modular Programs....Pages 163-178
Back Matter....Pages -

✦ Subjects

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

📜 SIMILAR VOLUMES

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 (Lecture Notes in Computer Science, 3901)

✍ Patricia M. Hill (editor) 📂 Library 📅 2006 🏛 Springer 🌐 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 September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revise

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

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

✍ Maurizio Proietti, Hirohisa Seki (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefu

Logic-Based Program Synthesis and Transf

📁 Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

✍ Moreno Falaschi (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015.The 21 revised full papers presented together with 3 invited talks were care

Logic Based Program Synthesis and Transf

📁 Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

✍ Kung-Kiu Lau (auth.) 📂 Library 📅 2001 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic. The 10 revised full papers presented have gone through two