Advertisement

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

  • Yves Deville
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-xii
  2. Francesco Bergadano, Daniele Gunetti
    Pages 45-56
  3. Marko Grobelnik
    Pages 57-63
  4. Vincent Lombart, Geraint Wiggins, Yves Deville
    Pages 67-81
  5. María Vargas-Vera, Dave Robertson, Robert Inder
    Pages 82-84
  6. Wamberto Weber Vasconcelos
    Pages 85-99
  7. D. A. de Waal
    Pages 113-123
  8. Maurizio Proietti, Alberto Pettorossi
    Pages 141-158
  9. Bern Martens, Danny De Schreye
    Pages 159-161
  10. Paul Tarau, Koen De Bosschere
    Pages 196-209
  11. Dmitri Boulanger, Maurice Bruynooghe
    Pages 210-228
  12. Back Matter
    Pages 247-249

About these proceedings

Introduction

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.

Keywords

LOPSTR algorithms design development language logic logic programming parallelism program synthesis program transformation programming programming language software

Editors and affiliations

  • Yves Deville
    • 1
  1. 1.Unité d’InformatiqueUniversité Catholique de LouvainLouvain-la-NeuveBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-3234-9
  • Copyright Information Springer-Verlag London 1994
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19864-2
  • Online ISBN 978-1-4471-3234-9
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site