•  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous     
  •  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Call-By-Push-Value

A Functional/Imperative Synthesis

P B Levy
Livre relié | Anglais | Semantics Structures in Computation | n° 2
195,95 €
+ 391 points
Livraison 1 à 2 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

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.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
352
Langue:
Anglais
Collection :
Tome:
n° 2

Caractéristiques

EAN:
9781402017308
Date de parution :
30-11-03
Format:
Livre relié
Format numérique:
Genaaid
Dimensions :
169 mm x 246 mm
Poids :
762 g

Les avis