Skip to main content
SpringerLink
Log in

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Yves Deville

    1. Unité d’Informatique, Université Catholique de Louvain, Louvain-la-Neuve, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Toward the Synthesis of Constraint Propagation Algorithms

    • Douglas R. Smith
    Pages 1-9

  3. A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs

    • Kung-Kiu Lau, Mario Ornaghi
    Pages 10-31

  4. Reachability Analysis for the Extension Procedure — A Topological Result —

    • Gerd Neugebauer
    Pages 32-44

  5. Inductive Synthesis of Logic Programs and Inductive Logic Programming

    • Francesco Bergadano, Daniele Gunetti
    Pages 45-56

  6. Induction of Prolog programs with Markus

    • Marko Grobelnik
    Pages 57-63

  7. A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract)

    • Peter Madden, Jane Hesketh, Ian Green, Alan Bundy
    Pages 64-66

  8. Guiding Synthesis Proofs

    • Vincent Lombart, Geraint Wiggins, Yves Deville
    Pages 67-81

  9. Combining Prolog Programs in a Techniques Editing System (Abstract)

    • María Vargas-Vera, Dave Robertson, Robert Inder
    Pages 82-84

  10. Designing Prolog Programming Techniques

    • Wamberto Weber Vasconcelos
    Pages 85-99

  11. Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies

    • Anna-Lena Johansson
    Pages 100-112

  12. The Power of Partial Evaluation

    • D. A. de Waal
    Pages 113-123

  13. Specialising the Ground Representation in the Logic Programming Language Gödel

    • C. A. Gurr
    Pages 124-140

  14. Synthesis of Programs from Unfold/Fold Proofs

    • Maurizio Proietti, Alberto Pettorossi
    Pages 141-158

  15. Some Further Issues in Finite Unfolding (Abstract)

    • Bern Martens, Danny De Schreye
    Pages 159-161

  16. A Transformation Based on the Equality between Terms

    • Ulrich Neumerkel
    Pages 162-176

  17. Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model

    • M. Olmedilla, F. Bueno, M. Hermenegildo
    Pages 177-195

  18. Memoing with Abstract Answers and Delphi Lemmas

    • Paul Tarau, Koen De Bosschere
    Pages 196-209

  19. Using Abstract Interpretation for Goal Replacement

    • Dmitri Boulanger, Maurice Bruynooghe
    Pages 210-228

  20. Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedures: Some Experiments

    • Pierre De Boeck, Baudouin Le Charlier
    Pages 229-245
Back to top

Keywords

About this book

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing a uniform declarative notation for precisely describing application domains, software requirements, and for prescribing behavior via logic programs. Program synthesis and transfonnation techniques formalize the process of developing correct and efficient programs from requirement specifications. The natural intersection of these two fields of research has been the focus of the LOPSTR workshops. The papers in this volume address many aspects of software develop­ ment including: deductive synthesis, inductive synthesis, transforma­ tions for optimizing programs and exploiting parallelism, program analysis techniques (particularly via abstract interpretation), meta­ programming languages and tool support, and various extensions to Prolog-like languages, admitting non-Horn clauses, functions, and constraints. Despite the progress represented in this volume, the transition from laboratory to practice is fraught with difficulties.

Editors and Affiliations

  • Unité d’Informatique, Université Catholique de Louvain, Louvain-la-Neuve, Belgium

    Yves Deville

Bibliographic Information

  • Book Title: Logic Program Synthesis and Transformation

  • Book Subtitle: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993

  • Editors: Yves Deville

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3234-9

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: British Computer Society 1994

  • Softcover ISBN: 978-3-540-19864-2Published: 28 January 1994

  • eBook ISBN: 978-1-4471-3234-9Published: 06 December 2012

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: XII, 245

  • Topics: Programming Techniques, Logics and Meanings of Programs, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation