Skip to main content
SpringerLink
Log in

Programming Language Implementation and Logic Programming

3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Jan Maluszyński
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Wirsing
    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 528)

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 (41 papers)

  1. Front Matter

    Download chapter PDF

  2. Standard ML of New Jersey

    • Andrew W. Appel, David B. MacQueen
    Pages 1-13

  3. Adding equations to NU-Prolog

    • Lee Naish
    Pages 15-26

  4. Extraction of functional from logic program

    • Susumu Yamasaki
    Pages 27-38

  5. The MAS specification component

    • Heinz Kredel
    Pages 39-50

  6. Domesticating imperative constructs so that they can live in a functional world

    • T. C. Nicholas Graham, Gerd Kock
    Pages 51-62

  7. Logic-based specification of visibility rules

    • Arnd Poetzsch-Heffter
    Pages 63-74

  8. Optimal instruction scheduling using constraint logic programming

    • M. Anton Ertl, Andreas Krall
    Pages 75-86

  9. An architectural model for OR-parallellism on distributed memory systems

    • F. Baiardi, D. M. Di Bella
    Pages 87-98

  10. FRATS: A parallel reduction strategy for shared memory

    • K. G. Langendoen, W. G. Vree
    Pages 99-110

  11. Narrowing as an incremental constraint satisfaction algorithm

    • María Alpuente, Moreno Falaschi
    Pages 111-122

  12. The implementation of lazy narrowing

    • Manuel M. T. Chakravarty, Hendrik C. R. Lock
    Pages 123-134

  13. Semantics-directed generation of a Prolog compiler

    • Charles Consel, Siau Cheng Khoo
    Pages 135-146

  14. A framework to specify database update views for Prolog

    • Egon Boerger, Bart Demoen
    Pages 147-158

  15. Concepts for a modular and distributed Prolog language

    • Szabolcs Ferenczi
    Pages 159-170

  16. From parlog to polka in two easy steps

    • Andrew Davison
    Pages 171-182

  17. Precedences in specifications and implementations of programming languages

    • Annika Aasa
    Pages 183-194

  18. A randomized heuristic approach to register allocation

    • C. W. Keßler, W. J. Paul, T. Rauber
    Pages 195-206

  19. Generating efficient code from data-flow programs

    • Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
    Pages 207-218

  20. On the borderline between grammars and programs

    • C. H. A. Koster, J. G. Beney
    Pages 219-230
Back to top

Keywords

About this book

This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation