Table of contents

  1. Front Matter
  2. Michael Hanus, Berthold Josephs
    Pages 28-43
  3. Jean Jourdan, Thierry Sola
    Pages 60-74
  4. Martin Jourdan, Carole Le Bellec, Didier Parigot, Gilles Roussel
    Pages 123-136
  5. Andrei Mantsivoda
    Pages 151-166
  6. Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans
    Pages 167-183
  7. Rita Loogen, Francisco López Fraguas, Mario Rodríguez Artalejo
    Pages 184-200
  8. John Darlington, Yi-ke Guo, Martin Köhler
    Pages 201-219
  9. Antonio Natali, Andrea Omicini
    Pages 220-234
  10. Khayri A. M. Ali, Roland Karlsson
    Pages 235-245
  11. Remco Moolenaar, Bart Demoen
    Pages 246-261
  12. Owen Kaser
    Pages 262-274
  13. Agostino Dovier, Enrico Pontelli
    Pages 275-290

About these proceedings

Introduction

This volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programming (PLILP '93), held in Tallinn, Estonia, in August 1993. The series of PLILP symposiums was established to promote contacts and information exchange among scientists who share common interests in declarative programming techniques, logic programming, and programming languages imnplementation. Researchers from the fields of algorithmic programming languages as well as logic, functional, object-oriented, and constraint programming constitute the audience of PLILP. The volume contains three invited talks and 24 selected contributed papers grouped intoparts on: integration of different paradigms, constraint programming, staticanalysis and abstract interpretation, grammars, narrowing, parallelism, and implementation techniques. The volume closes with six abstracts of systems demonstrations and posters.

Keywords

Compiler Construction Compilerbau Functional Programming Funktionales Programmieren Implementation Implementierung Logic Programming Logisches Programmieren Management Programmierparadigmen Programming Paradigms Text algorithms programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-57186-8
  • Copyright Information Springer-Verlag 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57186-5
  • Online ISBN 978-3-540-47945-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace