Advertisement

Table of contents

  1. Front Matter
  2. Staffan Bonnier, Jan Małuszyński
    Pages 20-34
  3. Roberto Barbuti, Maurizio Martelli
    Pages 58-67
  4. Annie Despland, Monique Mazaud, Raymond Rakotozafy
    Pages 83-104
  5. Feliks Kluźniak, Mirosława Miłkowska
    Pages 105-118
  6. Jean-François Monin
    Pages 119-131
  7. Yoshiyuki Yamashita, Ikuo Nakata
    Pages 132-145
  8. Günter Riedewald, Uwe Lämmel
    Pages 161-179
  9. Henning Christiansen
    Pages 180-200
  10. Pedro Rangel Henriques
    Pages 201-218
  11. Pierre Deransart, Jan Maluszynski
    Pages 219-251
  12. Isabelle Attali
    Pages 252-272
  13. Michael Hanus
    Pages 273-282
  14. Patrizia Asirelli, Paola Inverardi
    Pages 292-299

Other volumes

  1. International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
  2. Programming Languages Implementation and Logic Programming
    International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings

About these proceedings

Introduction

The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same time, an increasing number of people use logic programming as a way of specifying compilers or other programming environment tools, taking advantage of the relatively high level of logic programming and the growing efficiency of Prolog implementations. On the other hand, research on logic programming raises the questions of analysis of logic programs and their optimization. These are motivated primarily by compiler construction for logic programs, by studies on the methodology of logic programming and by the attempts to amalgamate logic programming and functional programming. The purpose of the workshop is to review the techniques developed in one (or both) of the fields which could also be of some help in the other one and to facilitate the transfer of expertise. It seems important to compare notions used in both fields: showing similarities between them may prevent rediscovering results already known, while studying differences may contribute to the transfer of technology.

Keywords

Algorithms Clean Prolog Syntax Variable algorithm compiler formal specification functional programming logic optimization programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-50820-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50820-5
  • Online ISBN 978-3-540-46092-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering