Table of contents

  1. Front Matter
  2. Mark P. Jones
    Pages 26-26
  3. Rémi Douence, Pascal Fradet
    Pages 27-44
  4. Fairouz Kamareddine, Alejandro Ríos
    Pages 45-62
  5. Heinz Faßbender
    Pages 63-80
  6. Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing
    Pages 81-96
  7. Koichi Nakahara, Aart Middeldorp, Tetsuo Ida
    Pages 97-114
  8. Juliana Freire, Rui Hu, Terrance Swift, David S. Warren
    Pages 115-132
  9. Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan
    Pages 133-150
  10. Michael Mehl, Ralf Scheidhauer, Christian Schulte
    Pages 151-168
  11. Alan Mycroft, Kirsten Lackner Solberg
    Pages 169-187
  12. Erik Barendsen, Sjaak Smetsers
    Pages 189-206
  13. Wei-Ngan Chin, Siau-Cheng Khoo
    Pages 223-240
  14. Robert Glück, Jesper Jørgensen
    Pages 259-278
  15. Fritz Henglein, David Sands
    Pages 299-320
  16. Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte
    Pages 341-356
  17. Puri Arenas-Sánchez, Agostino Dovier
    Pages 397-414
  18. Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
    Pages 415-430
  19. Livio Colussi, Elena Marchiori, Massimo Marchiori
    Pages 431-448
  20. Puri Arenas-Sánchez, Ana Gil-Luezas
    Pages 453-454
  21. Xavier Burgués, Xavier Franch
    Pages 455-456
  22. W. Hans, F. Sáenz, St. Winkler
    Pages 457-458
  23. Merik Meriste, Jaan Penjam
    Pages 459-460
  24. Jens E. Wunderwald
    Pages 465-466
  25. Back Matter

About these proceedings


This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995.
The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations.


Abstrakte Interpretation Constraint Debugging Declarative Programming Deklaratives Programmieren Funktionales Programmieren Resolution constraint programming data structure database functional Programming logic partial evaluation programming semantics

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60359-7
  • Online ISBN 978-3-540-45048-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences