1. PLILP 1988: Orléans, France

Functional Programming and Logic Programming

Abstract Interpretation in Logic Programming

Logic Programming in Compiler Writing

Grammars

Attribute Grammars and Logic Programming

Attribute Grammars in Logic Programming

Logic Programming for Programming Environments

a service of Schloss Dagstuhl - Leibniz Center for Informatics