Studiebog DRM-beskyttet

Call-By-Push-Value

- A Functional/Imperative Synthesis

P.B. Levy

Bog E-bog

Format
E-bog, PDF
Engelsk

Indgår i serie
Semantics Structures in Computation

E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris: kr. 1.389,95

Medlemspris: kr. 1.324,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: Straks (sendes på e-mail)
Split betalingen op med

Beskrivelse

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Udgivelsesdato06-12-2012
ISBN139789400709546
Forlag Springer Netherlands
FormatPDF

Call-By-Push-Value

- A Functional/Imperative Synthesis

Findes i disse kategorier...

Se andre, der handler om...