1. ESOP 1986: Saarbrücken, Germany

@proceedings{DBLP:conf/esop/1986,
  editor    = {Bernard Robinet and
               Reinhard Wilhelm},
  title     = {ESOP 86, European Symposium on Programming, Saarbr{\"u}cken,
               Federal Republic of Germany, March 17-19, 1986, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {213},
  year      = {1986},
  isbn      = {3-540-16442-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Compilation

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

Optimized Language Implementation

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

Functional Programming Language Implementation

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

Functional Programming Languages

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

Semantics

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

Semantics and Abstract Data Types

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

Parallelism

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

Tools

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

Logic Programming

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

Term Rewriting

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