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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/BFb0026808
  • Copyright Information Springer-Verlag 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
  • About this book