Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings. 1st ed. 1991

種類:

電子ブック

責任表示:

edited by Jan Maluszynski, Martin Wirsing

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991

著者名:

• Maluszynski, Jan.
• Wirsing, Martin.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 528

ISBN:

9783540383628 [354038362X]    

注記:

Standard ML of New Jersey -- Adding equations to NU-Prolog -- Extraction of functional from logic program -- The MAS specification component -- Domesticating imperative constructs so that they can live in a functional world -- Logic-based specification of visibility rules -- Optimal instruction scheduling using constraint logic programming -- An architectural model for OR-parallellism on distributed memory systems -- FRATS: A parallel reduction strategy for shared memory -- Narrowing as an incremental constraint satisfaction algorithm -- The implementation of lazy narrowing -- Semantics-directed generation of a Prolog compiler -- A framework to specify database update views for Prolog -- Concepts for a modular and distributed Prolog language -- From parlog to polka in two easy steps -- Precedences in specifications and implementations of programming languages -- A randomized heuristic approach to register allocation -- Generating efficient code from data-flow programs -- On the borderline between grammars and
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.

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)