Pierre Deransart, Jan Maluszynski
Proceedings of the Second International Workshop on Programming Language Implementation and Logic Programming
PLILP, 1990.

@proceedings{PLILP-1990,
	address       = "Linköping, Sweden",
	editor        = "Pierre Deransart and Jan Maluszynski",
	isbn          = "3-540-53010-X",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Workshop on Programming Language Implementation and Logic Programming}",
	volume        = 456,
	year          = 1990,
}

Contents (26 items)

6 ×#logic programming
5 ×#prolog
5 ×#source code
4 ×#compilation
3 ×#implementation
2 ×#algorithm
2 ×#analysis
2 ×#approach
2 ×#constraints
2 ×#functional

PLILP-1990-KirchnerV #implementation #parallel

Implementing Parallel Rewriting (CK, PV), pp. 1–15.

PLILP-1990-Muck #compilation

Compilation of Narrowing (AM), pp. 16–29.

PLILP-1990-GroschS #ada

Inference-Based Overloading Resolution for ADA (FJG, GS), pp. 30–44.

PLILP-1990-BowenJP #approach #compilation #prototype #specification

An Approach to Verifiable Compiling Specification and Prototyping (JPB, JH, PKP), pp. 45–59.

PLILP-1990-KamkarNF #algorithm #debugging #locality #slicing

Bug Localization by Algorithmic Debugging and Program Slicing (MK, NS, PF), pp. 60–74.

PLILP-1990-LimS #constraints #logic programming

A Constraint Logic Programming Shell (PL, PJS), pp. 75–88.

PLILP-1990-Jaakola #algorithm #constraints #theorem proving

Modifying the Simplex Algorithm to a Constraint Solver (JJ), pp. 89–105.

PLILP-1990-LimM #implementation #logic

Implementing a Meta-Logical Scheme (PL, DNM), pp. 106–120.

PLILP-1990-KrallN #automaton

The Vienna Abstract Machine (AK, UN), pp. 121–135.

PLILP-1990-Huitouze #data type #implementation #prolog

A New Data Structure for Implementing Extensions to Prolog (SLH), pp. 136–150.

PLILP-1990-Sahlin #fixpoint #prolog #using

Finding the Least Fixed Point Using Wait-Declarations in Prolog (DS), pp. 151–158.

PLILP-1990-TarauB #logic programming #source code

Elementary Logic Programs (PT, MB), pp. 159–173.

PLILP-1990-Fribourg #execution #prolog

A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution (LF), pp. 174–188.

PLILP-1990-MasonT #reasoning #source code

Reasoning About Programs with Effects (IAM, CLT), pp. 189–203.

PLILP-1990-WangS #logic programming #source code #termination #towards

Towards a Characterization of Termination of Logic Programs (BW, RKS), pp. 204–221.

PLILP-1990-BoeckC #analysis #correctness #prolog #static typing

Static Type Analysis of Prolog Procedures for Ensuring Correctness (PDB, BLC), pp. 222–237.

PLILP-1990-Asperti #calculus #evaluation #lazy evaluation #strict

Integrating Strict and Lazy Evaluation: The λ-sl-Calculus (AA), pp. 238–254.

PLILP-1990-Leroy #data transformation #performance #polymorphism #representation

Efficient Data Representation in Polymorphic Languages (XL), pp. 255–276.

PLILP-1990-SagivFRW #analysis #approach #data flow #problem

A Logic-Based Approach to Data Flow Analysis Problem (SS, NF, MR, RW), pp. 277–292.

PLILP-1990-Nilsson #approximate #logic programming #semantics #source code

Systematic Semantic Approximations of Logic Programs (UN), pp. 293–306.

PLILP-1990-Bourdoncle #abstract interpretation #alias #interprocedural

Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity (FB), pp. 307–323.

PLILP-1990-DumortierB #automation #generative #on the #prolog

On the Automatic Generation of Events in Delta Prolog (VD, MB), pp. 324–339.

PLILP-1990-Queinnec #compilation #higher-order #lisp

Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.

PLILP-1990-Ferdinand #functional #model transformation #pattern matching #transformation language #using

Pattern Matching in a Functional Transformation Language using Treeparsing (CF), pp. 358–371.

PLILP-1990-BrogiMPT #framework #functional #logic programming

Logic Programming within a Functional Framework (AB, PM, DP, FT), pp. 372–386.

PLILP-1990-Hanus #compilation #logic programming #similarity #source code

Compiling Logic Programs with Equality (MH), pp. 387–400.