Programming Language Implementation and Logic Programming

1. Front Matter

   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

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.

• Logic Programming
• PROLOG
• Programmiermethodiken
• Programming Languages Implementation
• Programming Techniques
• algorithm
• algorithms
• logic
• object-oriented programming
• programming
• programming language

Policies and ethics