Skip to main content
SpringerLink
Log in

Programming Languages: Implementations, Logics and Programs

7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Manuel Hermenegildo
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. S. Doaitse Swierstra
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 982)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Download chapter PDF

  2. A generic program for sequential decision processes

    • Oege de Moor
    Pages 1-23

  3. Parsing visual languages with constraint multiset grammars

    • Kim Marriott
    Pages 24-25

  4. Programming with constructor classes

    • Mark P. Jones
    Pages 26-26

  5. Towards a taxonomy of functional language implementations

    • Rémi Douence, Pascal Fradet
    Pages 27-44

  6. A λ-calculus à la de Bruijn with explicit substitutions

    • Fairouz Kamareddine, Alejandro Ríos
    Pages 45-62

  7. A verified implementation of narrowing

    • Heinz Faßbender
    Pages 63-80

  8. A new calculus for semantic matching

    • Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing
    Pages 81-96

  9. A complete narrowing calculus for higher-order functional logic programming

    • Koichi Nakahara, Aart Middeldorp, Tetsuo Ida
    Pages 97-114

  10. Exploiting parallelism in tabled evaluations

    • Juliana Freire, Rui Hu, Terrance Swift, David S. Warren
    Pages 115-132

  11. Design and implementation of jump tables for fast indexing of logic programs

    • Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan
    Pages 133-150

  12. An abstract machine for Oz

    • Michael Mehl, Ralf Scheidhauer, Christian Schulte
    Pages 151-168

  13. Uniform PERs and comportment analysis

    • Alan Mycroft, Kirsten Lackner Solberg
    Pages 169-187

  14. Uniqueness type inference

    • Erik Barendsen, Sjaak Smetsers
    Pages 189-206

  15. Modes of comprehension: Mode analysis of arrays and array comprehensions

    • B. C. Massey, E. Tick
    Pages 207-222

  16. Better consumers for deforestation

    • Wei-Ngan Chin, Siau-Cheng Khoo
    Pages 223-240

  17. Efficient compile-time garbage collection for arbitrary data structures

    • Markus Mohneu
    Pages 241-258

  18. Efficient multi-level generating extensions for program specialization

    • Robert Glück, Jesper Jørgensen
    Pages 259-278

  19. Mechanically verifying the correctness of an offline partial evaluator

    • John Hatcliff
    Pages 279-298

  20. A semantic model of binding times for safe partial evaluation

    • Fritz Henglein, David Sands
    Pages 299-320
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation