Maurice Bruynooghe, Martin Wirsing
Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming
PLILP, 1992.

@proceedings{PLILP-1992,
	address       = "Leuven, Belgium",
	editor        = "Maurice Bruynooghe and Martin Wirsing",
	isbn          = "3-540-55844-6",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming}",
	volume        = 631,
	year          = 1992,
}

Contents (41 items)

9 ×#logic programming
6 ×#functional
6 ×#named
6 ×#source code
5 ×#evaluation
5 ×#implementation
5 ×#prolog
4 ×#lazy evaluation
3 ×#abstract interpretation
3 ×#analysis

PLILP-1992-Hanus #functional #logic programming #source code #using

Improving Control of Logic Programs by Using Functional Logic Languages (MH), pp. 1–23.

PLILP-1992-KuchenMH #implementation #independence

Independent AND-Parallel Implementation of Narrowing (HK, JJMN, MVH), pp. 24–38.

PLILP-1992-DorochevskyV #garbage collection

Binding Techniques and Garbage Collection for OR-Parallel CLP Systems (MD, AV), pp. 39–53.

PLILP-1992-GomardS #analysis #data type #lazy evaluation

Path Analysis for Lazy Data Structures (CKG, PS), pp. 54–68.

PLILP-1992-AptP #problem #why

Why the Occur-Check is Not a Problem (KRA, AP), pp. 69–86.

PLILP-1992-AttaliCG #evaluation #incremental #semantics #specification

Incremental Evaluation of Natural Semantics Specification (IA, JC, SG), pp. 87–99.

PLILP-1992-BarthelemyC #automaton

Subsumption-oriented Push-Down Automata (FB, EVdlC), pp. 100–114.

PLILP-1992-Kahrs #implementation

Unlimp, Uniqueness as a Leitmotiv for Implementation (SK), pp. 115–129.

PLILP-1992-PenningsSV #attribute grammar #incremental #using

Using Cached Functions and Constructors for Incremental Attribute Evaluation (MP, SDS, HV), pp. 130–144.

PLILP-1992-Rosendahl #analysis #attribute grammar #strict

Strictness Analysis for Attribute Grammars (MR), pp. 145–157.

PLILP-1992-SaidiB #debugging #two-level grammar

Checking and Debugging of Two-level Grammars (SS, JFB), pp. 158–171.

PLILP-1992-BossiCE #on the

On Safe Folding (AB, NC, SE), pp. 172–186.

PLILP-1992-Amtoft #termination

Unfold/fold Transformations Preserving Termination Properties (TA), pp. 187–201.

PLILP-1992-Alexandre #logic programming #source code

A technique for Transforming Logic Programs by Fold-Unfold Transformations (FA), pp. 202–216.

PLILP-1992-HenrardC #declarative #logic programming #named #source code

FOLON: An Environment for Declarative Construction of Logic Programs (JH, BLC), pp. 217–231.

PLILP-1992-Hans #automaton

A Complete Indexing Scheme for WAM-based Abstract Machines (WH), pp. 232–244.

PLILP-1992-KrallB #compilation #performance #prolog

Fast Prolog with VAM1p based Prolog Compiler (AK, TB), pp. 245–259.

PLILP-1992-Holzbaur #unification

Metastructures versus Attributed Variables in the Context of Extensible Unification (CH), pp. 260–268.

PLILP-1992-CousotC #abstract interpretation

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (PC, RC), pp. 269–295.

PLILP-1992-VerschaetseS #abstract interpretation #linear

Deriving of Linear Size Relations by Abstract Interpretation (KV, DDS), pp. 296–310.

PLILP-1992-EnglebertCRH #abstract interpretation #algorithm #evaluation #optimisation #prolog

Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation (VE, BLC, DR, PVH), pp. 310–325.

PLILP-1992-Hoa #bottom-up #higher-order #interpreter #logic programming #programming language

A Bottom-Up Interpreter for a Higher-Order Logic Programming Language (AHBH), pp. 326–340.

PLILP-1992-Muck #automaton #functional #logic programming #named #source code

CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs (AM), pp. 341–354.

PLILP-1992-HansLW #backtracking #evaluation #interactive #lazy evaluation #on the

On the Interaction of Lazy Evaluation and Backtracking (WH, RL, SW), pp. 355–369.

PLILP-1992-KamkarSF #interprocedural #slicing

Interprocedural Dynamic Slicing (MK, NS, PF), pp. 370–384.

PLILP-1992-NilssonF #algorithm #debugging #functional #lazy evaluation

Algorithmic Debugging for Lazy Functional Languages (HN, PF), pp. 385–399.

PLILP-1992-Ducasse #prolog #query

A General Trace Query Mechanism Based on Prolog (MD), pp. 400–414.

PLILP-1992-Plaza #declarative #logic programming

Fully Declarative Logic Programming (JAP), pp. 415–427.

PLILP-1992-LindstromMO #functional #logic programming

Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems (GL, JM, TO), pp. 428–442.

PLILP-1992-AlpuenteFM #analysis #consistency #equation #incremental #logic programming #nondeterminism

Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.

PLILP-1992-Rebelsky #functional #interactive #lazy evaluation #programming

I/O Trees and Interactive Lazy Functional Programming (SAR), pp. 458–472.

PLILP-1992-Hamel #equation #logic programming #named

UCG-E: An Equational Logic Programming System (LHH), pp. 473–474.

PLILP-1992-CattrallR #programming #relational

A Relational Programming System with Inferred Representations (DC, CR), pp. 475–476.

PLILP-1992-Moura #action semantics #implementation #semantics

An Implementation of Action Semantics (HM), pp. 477–478.

PLILP-1992-Tarau #continuation #named #prolog

BinProlog: a Continuation Passing Style Prolog Engine (PT), pp. 479–480.

PLILP-1992-Thiemann #bottom-up #evaluation #functional #named #source code #tool support

LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs (PT), pp. 481–482.

PLILP-1992-Reus #algebra #higher-order #implementation #specification

Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing (BR), pp. 483–484.

PLILP-1992-Vilo #attribute grammar #implementation #modelling

Implementing Attribute Grammars by Computational Models (JV), pp. 485–486.

PLILP-1992-LiG #logic #named

ProQuery: Logical Access to an OODB (CML, PYG), pp. 487–488.

PLILP-1992-SolnonR #inheritance #prolog #source code

Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII (CS, MR), pp. 489–490.

PLILP-1992-Barth

CLP(PB), A Meta-Interpreter in CLP(R) (PB), pp. 491–492.