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