%A Mads Dam
%A Frank Jensen
%T Compiler generation from relational semantics
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 1-29

%A Flemming Nielson
%T Correctness of code generation from a two-level meta-language
(extended abstract)
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 30-40

%A Kay-Ulrich Felgentreu
%A Wolfram-Manfred Lippe
%T A general approach to the optimization of function calls
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 41-52

%A U. Kastens
%A M. Schmidt
%T Lifetime analysis for procedure parameters
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 53-69

%A Hugh Glaser
%A Sean Hayes
%T Another implementation technique for applicative languages
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 70-81

%A Patrick Bellot
%T Graal: a functional programming system with uncurryfied combinators
and its reduction machine
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 82-98

%A Chris L. Hankin
%A Geoffrey L. Burn
%A Simon L. Peyton Jones
%T A safe approach to parallel combinator reduction (extended abstract)
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 99-110

%A Corrado Bohm
%T Reducing recursion to iteration by algebraic extension
(extended abstract)
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 111-118

%A Didier Bert
%A Rachid Echahed
%T Design and implementation of a generic,
logic and functional programming language
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 119-132

%A Hanne R. Nielson
%A Flemming Nielson
%T Pragmatic aspects of two-level denotational meta-languages
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 133-143

%A Maurice Naftalin
%T An experiment in practical semantics
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 144-159

%A E. Dahlhaus
%A J.A. Makowsky
%T The choice of programming primitives
for SETL-like programming languages (extended abstract)
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 160-172

%A Gilles Bernot
%A Michel Bidoit
%A Christine Choppy
%T Algebraic semantics of exception handling
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 173-186

%A J. He
%A C.A.R. Hoare
%A J.W. Sanders
%T Data refinement refined
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 187-196

%A Eugene W. Stark
%T Proving entailment between conceptual state specifications
(extended abstract)
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 197-209

%A Remi Triolet
%A Paul Feautrier
%A Francois Irigoin
%T Automatic parallelization of fortran programs
in the presence of procedure calls
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 210-222

%A P. Jouvelot
%T Parallelization by semantic detection of reductions
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 223-236

%A Joost N. Kok
%T Denotational semantics of nets with nondeterminism
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 237-249

%A Afri Salminen
%T Specification of a tool for viewing program text
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 250-261

%A Patrice Boizumault
%T A classical implementation for Prolog-II
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 262-273

%A Paola Mello
%A Antonio Natali
%T Programs as collections of communicating Prolog units
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 274-288

%A Bernd Schwinn
%A Gerhard Barth
%T An AND-parallel execution model of logic programs
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 289-300

%A Jiro Tanaka
%A Makoto Kishihita
%T Compiling Extended Concurrent Prolog - single queue compilation
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 301-314

%A Christian Codognet
%A Philippe Codognet
%A Gilberto File
%T A very intelligent backtracking method for logic programs
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 315-326

%A Harald Sondergaard
%T An application of abstract interpretation of logic programs:
occur check reduction
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 327-338

%A Alfons Geser
%T Experiences with the RAP system - a specification interpreter
combining term rewriting and resolution
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 339-350

%A Stephane Kaplan
%T Rewriting with a nondeterministic choice operator:
from algebra to proofs
%J Proceedings of the European Symposium on Programming
%E B. Robinet
%E R. Wilhelm
%C Saarbrucken, Germany
%D March 1986
%O published as Lecture Notes in Computer Science 213
by Springer-Verlag
%K esop esop1
%P 351-374