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

✍ Scribed by Wim Vanhoof (auth.), Sandro Etalle (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Tongue: English
Leaves: 285
Series: Lecture Notes in Computer Science 3573 : 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 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 paper and 11 extended abstract submissions. The papers are organized in topical sections on verification and analysis, theory and security, transformations, program development, termination, and program development and synthesis.

✦ Table of Contents

Front Matter....Pages -
Searching Semantically Equivalent Code Fragments in Logic Programs....Pages 1-18
Determinacy Analysis for Logic Programs Using Mode and Type Information....Pages 19-35
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs....Pages 36-52
Fully Automatic Binding-Time Analysis for Prolog....Pages 53-68
Logical Mobility and Locality Types....Pages 69-84
Unwinding Conditions for Security in Imperative Languages....Pages 85-100
Natural Rewriting for General Term Rewriting Systems....Pages 101-116
Negation Elimination for Finite PCFGs....Pages 117-132
Specialization of Concurrent Guarded Multi-set Transformation Rules....Pages 133-148
Efficient Local Unfolding with Ancestor Stacks for Full Prolog....Pages 149-165
Schema-Guided Synthesis of Imperative Programs by Constraint Solving....Pages 166-181
Run-Time Profiling of Functional Logic Programs....Pages 182-197
Constructive Specifications for Compositional Units....Pages 198-214
Input-Termination of Logic Programs....Pages 215-230
On Termination of Binary CLP Programs....Pages 231-244
From Natural Semantics to Abstract Machines....Pages 245-261
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis....Pages 262-277
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: 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: 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: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

✍ Helko Lehmann, Michael Leuschel (auth.), Maurice Bruynooghe (eds.) 📂 Library 📅 2004 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transfo

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: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

✍ Michael Codish (auth.), Andy King (eds.) 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

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