1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title of this volume. The motivating force behind LOPSTR has been the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as the imperative paradigm. Speci?cation, synthesis,...

This volume contains the papers accepted for presentation at the 4th International Symposium on Programming Language Implementation and Logic Programming (PLILP 1992) held in Leuven, Belgium, August 26-28, 1992. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages, whether algorithmic or declarative. The symposium gathered researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. The topics discussed in the volume include:...

Part of a series of conferences designed to further research in declarative programming techniques, logic programming and programming language implementation, this volume contains three invited lectures and 24 selected papers on recent developments and future directions.

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003. rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.