ESOP 86

European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings

AvBernard Robinet

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-03-01
Mått:155 x 235 x 21 mm
Vikt:587 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:380
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164425

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Combinators and Functional Programming Languages

Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

Häftad, 1986

346 kr

Signerad!

SIGNERAD - Om julens wälgång

Klara Peters Bastin

Inbunden, 2026

249 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Karin Smirnoff - Kvinnor som hatar män, Inbunden

Nyhet

Del 9

Kvinnor som hatar män

Karin Smirnoff

Inbunden, 2026

279 kr

Nyhet

Det läkande köket

Cecilia Nilsson

Inbunden, 2026

259 kr

-30%

Se dig inte om

Harlan Coben

Pocket, 2026

(1)

69 kr99 kr

Nyhet

Svanesång : min syster Diana

Charles Spencer

Inbunden, 2026

269 kr

Ungdomar och identitet

Ann Frisén, Philip Hwang

Häftad, 2020

391 kr

Nyhet

Billgrens mat

Elsa Billgren, Sigfrid Billgren

Kartonnage, 2026

269 kr

ESOP 86

European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings

AvBernard Robinet

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-03-01
Mått:155 x 235 x 21 mm
Vikt:587 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:380
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164425

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.