ESOP 86: European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Pro by Bernard RobinetESOP 86: European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Pro by Bernard Robinet

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

EditorBernard Robinet

Paperback | March 1, 1986

Pricing and Purchase Info

$129.59 online 
$141.95 list price save 8%
Earn 648 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:ESOP 86: European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19…Format:PaperbackDimensions:374 pages, 9.25 × 6.1 × 0 inPublished:March 1, 1986Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540164421

ISBN - 13:9783540164425

Look for similar items by category:

Reviews

Table of Contents

Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization of function calls.- Lifetime analysis for procedure parameters.- Another implementation technique for applicative languages.- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine.- A safe approach to parallel combinator reduction (extended abstract).- Reducing recursion to iteration by algebraic extension.- Design and implementation of a generic, logic and functional programming language.- Pragmatic aspects of two-level denotational meta-languages.- An experiment in practical semantics.- The choice of programming primitives for SETL-like programming languages.- Algebraic semantics of exception handling.- Data refinement refined resume.- Proving entailment between conceptual state specifications.- Automatic parallelization of fortran programs in the presence of procedure calls.- Parallelization by semantic detection of reductions.- Denotational semantics of nets with nondeterminism.- specification of a tool for viewing program text.- A classical implementation for Prolog-II.- Programs as collections of communicating Prolog units.- An and-parallel execution model of logic programs.- Compiling Extended Concurrent Prolog -single queue compilation-.- A very intelligent backtracking method for Logic Programs.- An application of abstract interpretation of logic programs: Occur check reduction.- Experiences with the RAP system - a specification interpreter combining term rewriting and resolution.- Rewriting with a nondeterministic choice operator : From algebra to proofs.