1. PLILP 1988: Orléans, France

Functional Programming and Logic Programming

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

Abstract Interpretation in Logic Programming

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

Logic Programming in Compiler Writing

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

Grammars

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

Attribute Grammars and Logic Programming

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

Attribute Grammars in Logic Programming

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

Logic Programming for Programming Environments

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