Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.