Table of contents

  1. Front Matter
  2. Andrew W. Appel, David B. MacQueen
    Pages 1-13
  3. Lee Naish
    Pages 15-26
  4. Susumu Yamasaki
    Pages 27-38
  5. Heinz Kredel
    Pages 39-50
  6. Arnd Poetzsch-Heffter
    Pages 63-74
  7. K. G. Langendoen, W. G. Vree
    Pages 99-110
  8. María Alpuente, Moreno Falaschi
    Pages 111-122
  9. Manuel M. T. Chakravarty, Hendrik C. R. Lock
    Pages 123-134
  10. Charles Consel, Siau Cheng Khoo
    Pages 135-146
  11. Egon Boerger, Bart Demoen
    Pages 147-158
  12. Andrew Davison
    Pages 171-182
  13. C. W. Keßler, W. J. Paul, T. Rauber
    Pages 195-206
  14. Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
    Pages 207-218
  15. C. H. A. Koster, J. G. Beney
    Pages 219-230

About these proceedings

Introduction

This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.

Keywords

Logic Programming PROLOG Programmiermethodiken Programming Languages Implementation Programming Techniques algorithm algorithms logic object-oriented programming programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-54444-5
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54444-9
  • Online ISBN 978-3-540-38362-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book