𝔖 Scriptorium

✦ LIBER ✦

📁

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

✍ Scribed by Natarajan Shankar (auth.), Alberto Pettorossi (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Tongue: English
Leaves: 274
Series: Lecture Notes in Computer Science 2372
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.
The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

✦ Table of Contents

Static Analysis for Safe Destructive Updates in a Functional Language....Pages 1-24
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs....Pages 25-45
On Deforesting Parameters of Accumulating Maps....Pages 46-56
Equivalence in Answer Set Programming....Pages 57-75
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols....Pages 76-90
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking....Pages 91-110
Verification of Sets of Infinite State Processes Using Program Transformation....Pages 111-128
When Size Does Matter....Pages 129-147
Symbolic Profiling for Multi-paradigm Declarative Languages....Pages 148-167
Correct Object-Oriented Systems in Computational Logic....Pages 168-190
A Framework for Developing Embeddable Customized Logics....Pages 191-215
Computing Environment-Aware Agent Behaviours with Logic Program Updates....Pages 216-232
Extracting General Recursive Program Schemes in Nuprl’s Type Theory....Pages 233-244
Extracting Exact Time Bounds from Logical Proofs....Pages 245-265

✦ Subjects

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

📜 SIMILAR VOLUMES

Logic Based Program Synthesis and Transf

📁 Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

✍ Natarajan Shankar (auth.), Alberto Pettorossi (eds.) 📂 Library 📅 2002 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.<BR>The 13 revised full papers presented together with an invited paper were carefully selected

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.<BR>The 10 revised full papers presented have gone through two

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.<BR>The 10 revised full papers presented have gone through two

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

<p><P> 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.</P><P></P><P>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

<p><P> 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.</P><P></P><P>The 15 revised full papers presented together with 7 abstracts were careful

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

<P>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.</P><P>The 17 revised full papers presented were carefully selected and revised from 23 full pap