2. ESOP 1988: Nancy, France

Invited Speakers

• Thomas W. Reps, Susan Horwitz:
  Semantics-Based Program Integration. 1-20
  

Program Development and Verification

• Graham Gough, Howard Barringer:
  A Semantics Driven Temporal Verification System. 21-33
  
• Bernd Krieg-Brückner:
  Algebraic Formalisation of Program Development by Transformation. 34-48
  
• Yukihide Takayama:
  QPC: QJ-based Proof Compiler - Simple Examples and Analysis. 49-63
  

Algebraic Specification and Type Concepts

• N. W. P. van Diepen:
  Implementation of Modular Algebraic Specifications. 64-78
  
• Roland Dietrich, Frank Hagl:
  A Polymorphic Type System with Subtypes for Prolog. 79-93
  
• You-Chin Fuh, Prateek Mishra:
  Type Inference with Subtypes. 94-114
  
• Marie-Claude Gaudel, Th. Moineau:
  A Theory of Software Reusability. 115-130
  
• Stefan Kaes:
  Parametric Overloading in Polymorphic Programming Languages. 131-144
  
• Michel Parigot:
  Programming with Proofs: A Second Order Type Theory. 145-159
  

Language Concepts

• Manfred Bretz, Jürgen Ebert:
  An Exception Handling Construct for Functional Languages. 160-174
  
• Reinhold Heckmann:
  A Functional Language for the Specification of Complex Tree Transformations. 175-190
  
• Simon M. Kaplan, Gail E. Kaiser:
  Garp: Graph Abstractions for Concurrent Programming. 191-205
  
• Remi Legrand:
  Extending Functional Programming Towards Relations. 206-220
  

Implementation of Programming Languages

• Alexander Aiken, Alexandru Nicolau:
  Perfect Pipelining: A New Loop Parallelization Technique. 221-235
  
• Charles Consel:
  New Insights into Partial Evaluation: the SCHISM Experiment. 236-246
  
• Robert Giegerich, Karl Schmal:
  Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors. 247-268
  
• Susan Horwitz:
  Adding Relational Query Facilities to Software Development Environments. 269-283
  
• Dean Jacobs, Anno Langen:
  Compilation of Logic Programs for Restricted And-Parallelism. 284-297
  
• Alain Laville:
  Implementation of Lazy Pattern Matching Algorithms. 298-316
  
• Alberto Martelli, Gianfranco Rossi:
  Enhancing Prolog to Support Prolog Programming Environments. 317-327
  
• Flemming Nielson, Hanne Riis Nielson:
  2-level lambda-lifting. 328-343
  
• Philip Wadler:
  Deforestation: Transforming Programs to Eliminate Trees. 344-358
  
• Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt:
  On Implementing Logic Programming Languages on a Dataflow Architecture. 359-372
  

Systems Exhibition

• Rolf Bahlke, Gregor Snelting:
  The PSG System: From Formal Language Definitions to Interactive Programming Environments. 374-375
  
• Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Demeuse Demeuse, Pierre-Yves Schobbens, François Wautier:
  LPG: A Generic, Logic and Functional Programming Language. 376-377
  
• Hubert Bertling, Harald Ganzinger, Renate Schäfers:
  CEC: A System for the Completion of Conditional Equational Specifications. 378-379
  
• Reinhold Heckmann:
  A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). 380