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
  14. V. Benjumea, J. M. Troya
    Pages 291-301
  15. Jonas Barklund, Johan Bevemyr
    Pages 302-317
  16. David Clark, Chris Hankin
    Pages 318-331
  17. Mads Rosendahl
    Pages 332-345
  18. Alexander Ja. Dikovsky
    Pages 365-377
  19. A. A. Letichevsky
    Pages 378-390
  20. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    Pages 391-409
  21. P. Canalda, L. Cognard, A. Despland, M. Mazaud
    Pages 410-411
  22. M. Bugliesi, G. Nardiello
    Pages 412-413
  23. M. Jourdan, F. Lagnier, F. Maraninchi, P. Raymond
    Pages 414-415
  24. C. W. Keßler, T. Rauber
    Pages 418-419
  25. Martin Alt, Georg Sander, Reinhard Wilhelm
    Pages 420-421
  26. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site