ESOP 1986
27 papers
- A Classical Implementation for Prolog-II
- A General Approach to the Optimization of Function Calls
- A Safe Approach to Parallel Combinator Reduction (Extended Abstract)
- A Very Intelligent Backtracking Method for Logic Programs
- Algebraic Semantics of Exception Handling
- An And-Parallel Execution Model of Logic Programs
- An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction
- An Experiment in Practical Semantics
- Another Implementation Technique for Applicative Languages
- Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls
- Compiler Generation from Relational Semantics
- Compiling Extended Concurrent Prolog - Single Queue Compilation
- Correctness of Code Generation from a Two-Level Meta-Language
- Data Refinement Refined
- Denotational Semantics of Nets with Nondeterminism
- Design and Implementation of a Generic, Logic and Functional Programming Language
- Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution
- GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine
- Lifetime Analysis for Procedure Parameters
- Parallelization by Semantic Detection of Reductions
- Pragmatic Aspects of Two-Level Denotational Meta-Languages
- Programs as Collections of Communicating Prolog Units
- Proving Entailment Between Conceptual State Specifications
- Reducing Recursion to Iteration by Algebraic Extension
- Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs
- Specification of a Tool for Viewing Program Text
- The Choice of Programming Primitives for SETL-Like Programming Languages