ESOP 86: European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 ; Proceedings

Front Cover
Bernard Robinet
Springer Science & Business Media, Mar 1, 1986 - Computers - 374 pages
0 Reviews
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

COMPILER GENERATION FROM RELATIONAL SEMANTICS
1
CORRECTNESS OF CODE GENERATION FROM A TWOLEVEL METALANGUAGE
30
A GENERAL APPROACH TO THE OPTIMIZATION OF FUNCTION CALLS
41
LIFETIME ANALYSIS FOR PROCEDURE PARAMETERS
53
ANOTHER IMPLEMENTATION TECHNIQUE FOR APPLICATIVE LANGUAGES
70
A FUNCTIONAL PROGRAMMING SYSTEM WITH UNCURRYFIED COMBINATORS AND ITS REDUCTION MACHINE
82
A SAFE APPROACH TO PARALLEL COMBINATOR REDUCTION EXTENDED ABSTRACT
99
REDUCING RECURSION TO ITERATION BY ALGEBRAIC EXTENSION Extended Abstract
111
Proving Entailment Between Conceptual State Specifications
197
AUTOMATIC PARALLELIZATION OF FORTRAN PROGRAMS IN THE PRESENCE OF PROCEDURE CALLS
210
PARALLELIZATION BY SEMANTIC DETECTION OF REDUCTIONS
223
Denotational Semantics of Nets with Nondeterminism
237
SPECIFICATION OF A TOOL FOR VIEWING PROGRAM TEXT
250
A CLASSICAL IMPLEMENTATION FOR PROLOGII
262
PROGRAMS AS COLLECTIONS OF COMMUNICATING PROLOG UNITS
274
AN ANDPARATLKT EXECUTION MODEL OF LOGIC PROGRAMS
289

DESIGN AND IMPLEMENTATION OF A GENERIC LOGIC AND FUNCTIONAL PROGRAMMING LANGUAGE
119
PRAGMATIC ASPECTS OF TWOLEVEL DENOTATIONAL METALANGUAGES
133
AN EXPERIMENT IN PRACTICAL SEMANTICS
144
The choice of programming primitives for SETLlike programming languages
160
ALGEBRAIC SEMANTICS OF EXCEPTION HANDLING
173
RESUME
187
COMPILING EXTENDED CONCURRENT PROLOG SINGLE QUEUE COMPILATION
301
A VERY INTELLIGENT BACKTRACKING METHOD FOR LOGIC PROGRAMS
315
OCCUR CHECK REDUCTION
327
Experiences with the RAP system a specification interpreter combining term rewriting and resolution
339
FROM ALGEBRA TO PROOFS
351
Copyright

Common terms and phrases

Bibliographic information