| 1986 | A Classical Implementation for Prolog-II. Patrice Boizumault |
| 1986 | A General Approach to the Optimization of Function Calls. Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe |
| 1986 | A Safe Approach to Parallel Combinator Reduction (Extended Abstract). Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones |
| 1986 | A Very Intelligent Backtracking Method for Logic Programs. Christian Codognet, Philippe Codognet, Gilberto Filé |
| 1986 | Algebraic Semantics of Exception Handling. Gilles Bernot, Michel Bidoit, Christine Choppy |
| 1986 | An And-Parallel Execution Model of Logic Programs. Bernd Schwinn, Gerhard Barth |
| 1986 | An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. Harald Søndergaard |
| 1986 | An Experiment in Practical Semantics. Maurice Naftalin |
| 1986 | Another Implementation Technique for Applicative Languages. Hugh Glaser, Sean Hayes |
| 1986 | Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls. Rémi Triolet, Paul Feautrier, François Irigoin |
| 1986 | Compiler Generation from Relational Semantics. Mads Dam, Frank Jensen |
| 1986 | Compiling Extended Concurrent Prolog - Single Queue Compilation. Jiro Tanaka, Makoto Kishishita |
| 1986 | Correctness of Code Generation from a Two-Level Meta-Language. Flemming Nielson |
| 1986 | Data Refinement Refined. Jifeng He, C. A. R. Hoare, Jeff W. Sanders |
| 1986 | Denotational Semantics of Nets with Nondeterminism. Joost N. Kok |
| 1986 | Design and Implementation of a Generic, Logic and Functional Programming Language. Didier Bert, Rachid Echahed |
| 1986 | ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings Bernard J. Robinet, Reinhard Wilhelm |
| 1986 | Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. Alfons Geser, Heinrich Hußmann |
| 1986 | GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. Patrick Bellot |
| 1986 | Lifetime Analysis for Procedure Parameters. Uwe Kastens, Michael Schmidt |
| 1986 | Parallelization by Semantic Detection of Reductions. Pierre Jouvelot |
| 1986 | Pragmatic Aspects of Two-Level Denotational Meta-Languages. Hanne Riis Nielson, Flemming Nielson |
| 1986 | Programs as Collections of Communicating Prolog Units. Paola Mello, Antonio Natali |
| 1986 | Proving Entailment Between Conceptual State Specifications. Eugene W. Stark |
| 1986 | Reducing Recursion to Iteration by Algebraic Extension. Corrado Böhm |
| 1986 | Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs. Stéphane Kaplan |
| 1986 | Specification of a Tool for Viewing Program Text. Airi Salminen |
| 1986 | The Choice of Programming Primitives for SETL-Like Programming Languages. Elias Dahlhaus, Johann A. Makowsky |