1. ESOP 1986: Saarbrücken, Germany

Compilation

• Mads Dam, Frank Jensen:
  Compiler Generation from Relational Semantics. 1-29
  
• Flemming Nielson:
  Correctness of Code Generation from a Two-Level Meta-Language. 30-40
  

Optimized Language Implementation

• Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe:
  A General Approach to the Optimization of Function Calls. 41-52
  
• Uwe Kastens, M. Schmidt:
  Lifetime Analysis for Procedure Parameters. 53-69
  

Functional Programming Language Implementation

• Hugh Glaser, Sean Hayes:
  Another Implementation Technique for Applicative Languages. 70-81
  
• Patrick Bellot:
  GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. 82-98
  
• Chris Hankin, Geoffrey L. Burn, Simon L. Peyton Jones:
  A Safe Approach to Parallel Combinator Reduction (Extended Abstract). 99-110
  

Functional Programming Languages

• Corrado Böhm:
  Reducing Recursion to Iteration by Algebraic Extension. 111-118
  
• Didier Bert, Rachid Echahed:
  Design and Implementation of a Generic, Logic and Functional Programming Language. 119-132
  

Semantics

• Hanne Riis Nielson, Flemming Nielson:
  Pragmatic Aspects of Two-Level Denotational Meta-Languages. 133-143
  
• Maurice Naftalin:
  An Experiment in Practical Semantics. 144-159
  
• Elias Dahlhaus, Johann A. Makowsky:
  The Choice of Programming Primitives for SETL-Like Programming Languages. 160-172
  

Semantics and Abstract Data Types

• Gilles Bernot, Michel Bidoit, Christine Choppy:
  Algebraic Semantics of Exception Handling. 173-186
  
• Jifeng He, C. A. R. Hoare, Jeff W. Sanders:
  Data Refinement Refined. 187-196
  
• Eugene W. Stark:
  Proving Entailment Between Conceptual State Specifications. 197-209
  

Parallelism

• Rémi Triolet, Paul Feautrier, François Irigoin:
  Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls. 210-222
  
• Pierre Jouvelot:
  Parallelization by Semantic Detection of Reductions. 223-236
  
• Joost N. Kok:
  Denotational Semantics of Nets with Nondeterminism. 237-249
  

Tools

• Airi Salminen:
  Specification of a Tool for Viewing Program Text. 250-261
  

Logic Programming

• Patrice Boizumault:
  A Classical Implementation for Prolog-II. 262-273
  
• Paola Mello, Antonio Natali:
  Programs as Collections of Communicating Prolog Units. 274-288
  
• Bernd Schwinn, Gerhard Barth:
  An And-Parallel Execution Model of Logic Programs. 289-300
  
• Jiro Tanaka, Makoto Kishishita:
  Compiling Extended Concurrent Prolog - Single Queue Compilation. 301-314
  
• Christian Codognet, Philippe Codognet, Gilberto Filé:
  A Very Intelligent Backtracking Method for Logic Programs. 315-326
  
• Harald Søndergaard:
  An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. 327-338
  

Term Rewriting

• Alfons Geser, Heinrich Hußmann:
  Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. 339-350
  
• Stéphane Kaplan:
  Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. 351-374