Bernard Robinet, Reinhard Wilhelm
Proceedings of the First European Symposium on Programming
ESOP, 1986.

@proceedings{ESOP-1986,
	address       = "Saarbrücken, Germany",
	editor        = "Bernard Robinet and Reinhard Wilhelm",
	isbn          = "3-540-16442-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First European Symposium on Programming}",
	volume        = 213,
	year          = 1986,
}

Contents (27 items)

5 ×#semantics
5 ×#source code
4 ×#reduction
3 ×#algebra
3 ×#implementation
3 ×#logic programming
3 ×#parallel
3 ×#prolog
3 ×#specification
2 ×#approach

ESOP-1986-DamJ #compilation #generative #relational #semantics

Compiler Generation from Relational Semantics (MD, FJ), pp. 1–29.

ESOP-1986-Nielson #code generation #correctness #metalanguage

Correctness of Code Generation from a Two-Level Meta-Language (FN), pp. 30–40.

ESOP-1986-FelgentreuL #approach #optimisation

A General Approach to the Optimization of Function Calls (KUF, WML), pp. 41–52.

ESOP-1986-KastensS #analysis #parametricity

Lifetime Analysis for Procedure Parameters (UK, MS), pp. 53–69.

ESOP-1986-GlaserH #implementation

Another Implementation Technique for Applicative Languages (HG, SH), pp. 70–81.

ESOP-1986-Bellot #combinator #functional #named #programming #reduction

GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine (PB), pp. 82–98.

ESOP-1986-HankinBJ #approach #combinator #parallel #reduction

A Safe Approach to Parallel Combinator Reduction (CH, GLB, SLPJ), pp. 99–110.

ESOP-1986-Bohm #algebra #recursion

Reducing Recursion to Iteration by Algebraic Extension (CB), pp. 111–118.

ESOP-1986-BertE #design #functional #implementation #logic #programming language

Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.

ESOP-1986-NielsonN #aspect-oriented #metalanguage

Pragmatic Aspects of Two-Level Denotational Meta-Languages (HRN, FN), pp. 133–143.

ESOP-1986-Naftalin #empirical #semantics

An Experiment in Practical Semantics (MN), pp. 144–159.

ESOP-1986-DahlhausM #programming language

The Choice of Programming Primitives for SETL-Like Programming Languages (ED, JAM), pp. 160–172.

ESOP-1986-BernotBC #algebra #exception #semantics

Algebraic Semantics of Exception Handling (GB, MB, CC), pp. 173–186.

ESOP-1986-HeHS #refinement

Data Refinement Refined (JH, CARH, JWS), pp. 187–196.

ESOP-1986-Stark #concept #proving #specification

Proving Entailment Between Conceptual State Specifications (EWS), pp. 197–209.

ESOP-1986-TrioletFI #automation #fortran #parallel #source code

Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls (RT, PF, FI), pp. 210–222.

ESOP-1986-Jouvelot #detection #parallel #reduction #semantics

Parallelization by Semantic Detection of Reductions (PJ), pp. 223–236.

ESOP-1986-Kok #nondeterminism #semantics

Denotational Semantics of Nets with Nondeterminism (JNK), pp. 237–249.

ESOP-1986-Salminen #specification

Specification of a Tool for Viewing Program Text (AS), pp. 250–261.

ESOP-1986-Boizumault #implementation #prolog

A Classical Implementation for Prolog-II (PB), pp. 262–273.

ESOP-1986-MelloN #communication #prolog #source code

Programs as Collections of Communicating Prolog Units (PM, AN), pp. 274–288.

ESOP-1986-SchwinnB #execution #logic programming #source code

An And-Parallel Execution Model of Logic Programs (BS, GB), pp. 289–300.

ESOP-1986-TanakaK #compilation #concurrent #prolog #queue

Compiling Extended Concurrent Prolog — Single Queue Compilation (JT, MK), pp. 301–314.

ESOP-1986-CodognetCF #backtracking #logic programming #source code

A Very Intelligent Backtracking Method for Logic Programs (CC, PC, GF), pp. 315–326.

ESOP-1986-Sondergaard #abstract interpretation #logic programming #reduction #source code

An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction (HS), pp. 327–338.

ESOP-1986-GeserH #case study #experience #interpreter #specification #term rewriting

Experiences with the RAP System — A Specification Interpreter Combining Term Rewriting and Resolution (AG, HH), pp. 339–350.

ESOP-1986-Kaplan #algebra #nondeterminism #proving

Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs (SK), pp. 351–374.