1. PLILP 1988: Orléans, France

Pierre Deransart, Bernard Lorho, Jan Maluszynski (Eds.): Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings. Lecture Notes in Computer Science 348 Springer 1989, ISBN 3-540-50820-1 BibTeX

@proceedings{DBLP:conf/plilp/1988,
  editor    = {Pierre Deransart and
               Bernard Lorho and
               Jan Maluszynski},
  title     = {Programming Language Implementation and Logic Programming, 1st
               International Workshop PLILP'88, Orl{\'e}ans, France, May
               16-18, 1988, Proceedings},
  booktitle = {PLILP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {348},
  year      = {1989},
  isbn      = {3-540-50820-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Functional Programming and Logic Programming

Gary Lindstrom: Static Analysis Of Functional Programs With Logic Variables. 1-19 BibTeX
Staffan Bonnier, Jan Maluszynski: Towards a Clean Amalgamation of Logic Programs with External Procedures. 20-34 BibTeX

Abstract Interpretation in Logic Programming

Danny De Schreye, Maurice Bruynooghe: An Application of Abstract Interpretation in Source Level Program Transformation. 35-57 BibTeX
Roberto Barbuti, Maurizio Martelli: A Tool to Check the Non-Floundering Logic Programs and Goals. 58-67 BibTeX
Ulf Nilsson: Towards a Framework for the Abstract Interpretation of Logic Programs. 68-82 BibTeX

Logic Programming in Compiler Writing

Annie Despland, Monique Mazaud, Raymond Rakotozafy: An Implementation of Retargetable Code Generators in Prolog. 83-104 BibTeX
Feliks Kluzniak, Miroslawa Milkowska: Towards a "Middle Road" Methodology for Writing Code Generators. 105-118 BibTeX
Jean-François Monin: A Compiler Written in Prolog: The Véda Experience. 119-131 BibTeX

Grammars

Yoshiyuki Yamashita, Ikuo Nakata: Coupled Contex-Free Grammar As a Programming Paradigm. 132-145 BibTeX
Frédéric Voisin: A Bottom-Up Adaption of Earley's Parsing Algorithm. 146-160 BibTeX
Günter Riedewald, Uwe Lämmel: Using an Attribute Grammar as a Logic Program. 161-179 BibTeX

Attribute Grammars and Logic Programming

Henning Christiansen: Structure Sharing in Attribute Grammars. 180-200 BibTeX
Pedro Rangel Henriques: A Semantic Evaluator Generating System in Prolog. 201-218 BibTeX
Pierre Deransart, Jan Maluszynski: A Grammatical View of Logic Programming. 219-251 BibTeX

Attribute Grammars in Logic Programming

Isabelle Attali: Compiling TYPOL with Attribute Grammars. 252-272 BibTeX
Michael Hanus: Formal Specification of a Prolog Compiler. 273-282 BibTeX

Logic Programming for Programming Environments

Weidong Dang: Formal Specification of Interactive Languages Using Definite Clause Grammars. 283-291 BibTeX
Patrizia Asirelli, Paola Inverardi: Using Logic Databases in Software Development Environments. 292-299 BibTeX