Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers [1 ed.] 3540221743, 9783540221746, 9783540259381

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis

218 2 2MB

English Pages 238 [249] Year 2004

Table of contents :
Front Matter....Pages -
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce....Pages 1-19
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures....Pages 20-33
Correct OO Systems in Computational Logic....Pages 34-53
Specification and Synthesis of Hybrid Automata for Physics-Based Animation....Pages 54-55
Adding Concrete Syntax to a Prolog-Based Program Synthesis System....Pages 56-58
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables....Pages 59-74
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2....Pages 75-91
A Program Transformation for Backwards Analysis of Logic Programs....Pages 92-105
An Efficient Staging Algorithm for Binding-Time Analysis....Pages 106-107
Proving Termination with Adornments....Pages 108-109
Constructively Characterizing Fold and Unfold....Pages 110-127
Deterministic Higher-Order Patterns for Program Transformation....Pages 128-142
From Interpreter to Logic Engine by Defunctionalization....Pages 143-159
Linearization by Program Transformation....Pages 160-175
Continuation Semantics as Horn Clauses....Pages 176-177
Simplification of Database Integrity Constraints Revisited: A Transformational Approach....Pages 178-197
Integration and Optimization of Rule-Based Constraint Solvers....Pages 198-213
Introducing esra , a Relational Language for Modelling Combinatorial Problems....Pages 214-232
Back Matter....Pages -

Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers [1 ed.]
3540221743, 9783540221746, 9783540259381

Author / Uploaded
Helko Lehmann
Michael Leuschel (auth.)
Maurice Bruynooghe (eds.)

Similar Topics
Education
International Conferences and Symposiums

0 0 0
Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up

Recommend Papers

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science and General Issues) [1st Edition.] 3642125913, 9783642125911

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic

354 63 3MB Read more

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) 3540326545, 9783540326540

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Progra

109 16 2MB Read more

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4407) 354071409X, 9783540714095

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program

105 7 4MB Read more

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected ... Computer Science and General Issues) 303045259X, 9783030452599

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-B

105 22 11MB Read more

Logic-Based Program Synthesis and Transformation. 31st International Symposium, LOPSTR 2021 Tallinn, Estonia, September 7–8, 2021 Proceedings 9783030988685, 9783030988692

159 37 3MB Read more

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science, 2664) 3540404384, 9783540404385

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program

102 6 3MB Read more

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559) 9783540657651, 3540657657

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Pr

100 64 4MB Read more

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817) 9783540676287, 3540676287

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transforma

104 55 2MB Read more

Agent-Oriented Information Systems: 5th International BI-Conference Workshop, Aois 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers 0137488071, 3540259430

This book constitutes the thoroughly refereed post-proceedings of the 5th International Bi-Conference Workshop on Agent-

344 90 4MB Read more

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Theoretical Computer Science and General Issues) 3030684458, 9783030684457

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and

116 10 9MB Read more