Pierre Deransart, Bernard Lorho, Jan Maluszynski
Proceedings of the First International Workshop on Programming Language Implementation and Logic Programming
PLILP, 1988.

@proceedings{PLILP-1988,
	address       = "Orléans, France",
	editor        = "Pierre Deransart and Bernard Lorho and Jan Maluszynski",
	isbn          = "3-540-50820-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Workshop on Programming Language Implementation and Logic Programming}",
	volume        = 348,
	year          = 1988,
}

Contents (18 items)

5 ×#logic programming
4 ×#prolog
4 ×#source code
3 ×#attribute grammar
3 ×#compilation
3 ×#towards
3 ×#using
2 ×#abstract interpretation
2 ×#code generation
2 ×#logic

PLILP-1988-Lindstrom #functional #logic #source code #static analysis

Static Analysis Of Functional Programs With Logic Variables (GL), pp. 1–19.

PLILP-1988-BonnierM #logic programming #source code #towards

Towards a Clean Amalgamation of Logic Programs with External Procedures (SB, JM), pp. 20–34.

PLILP-1988-SchreyeB #abstract interpretation #program transformation

An Application of Abstract Interpretation in Source Level Program Transformation (DDS, MB), pp. 35–57.

PLILP-1988-BarbutiM #logic programming #source code

A Tool to Check the Non-Floundering Logic Programs and Goals (RB, MM), pp. 58–67.

PLILP-1988-Nilsson #abstract interpretation #framework #logic programming #source code #towards

Towards a Framework for the Abstract Interpretation of Logic Programs (UN), pp. 68–82.

PLILP-1988-DesplandMR #code generation #implementation #prolog

An Implementation of Retargetable Code Generators in Prolog (AD, MM, RR), pp. 83–104.

PLILP-1988-KluzniakM #code generation #towards

Towards a “Middle Road” Methodology for Writing Code Generators (FK, MM), pp. 105–118.

PLILP-1988-Monin #compilation #experience #prolog

A Compiler Written in Prolog: The Véda Experience (JFM), pp. 119–131.

PLILP-1988-YamashitaN #paradigm #programming

Coupled Contex-Free Grammar As a Programming Paradigm (YY, IN), pp. 132–145.

PLILP-1988-Voisin #adaptation #algorithm #bottom-up #earley #parsing

A Bottom-Up Adaption of Earley’s Parsing Algorithm (FV), pp. 146–160.

PLILP-1988-RiedewaldL #attribute grammar #logic programming #using

Using an Attribute Grammar as a Logic Program (GR, UL), pp. 161–179.

PLILP-1988-Christiansen #attribute grammar

Structure Sharing in Attribute Grammars (HC), pp. 180–200.

PLILP-1988-Henriques #generative #prolog #semantics

A Semantic Evaluator Generating System in Prolog (PRH), pp. 201–218.

PLILP-1988-DeransartM #logic programming

A Grammatical View of Logic Programming (PD, JM), pp. 219–251.

PLILP-1988-Attali #attribute grammar #compilation

Compiling TYPOL with Attribute Grammars (IA), pp. 252–272.

PLILP-1988-Hanus #compilation #prolog #specification

Formal Specification of a Prolog Compiler (MH), pp. 273–282.

PLILP-1988-Dang #definite clause grammar #interactive #specification #using

Formal Specification of Interactive Languages Using Definite Clause Grammars (WD), pp. 283–291.

PLILP-1988-AsirelliI #database #development #logic #using

Using Logic Databases in Software Development Environments (PA, PI), pp. 292–299.