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


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.


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

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment