Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 43,80 €, prix le plus élevé: 60,66 €, prix moyen: 52,62 €
Two-level Functional Languages: 2-level Functional Languages - Flemming Nielson, Hanne Riis Nielson
Livre non disponible
(*)
Flemming Nielson, Hanne Riis Nielson:
Two-level Functional Languages: 2-level Functional Languages - nouveau livre

ISBN: 9780521018470

ID: 978052101847

The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of parametrized semantics is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose, it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalizes Wadler''s analysis for lists. It is also shown how the results of abstract interpretation may be used to improve the code generation. Flemming Nielson, Hanne Riis Nielson, Books, Computers, Two-level Functional Languages: 2-level Functional Languages Books>Computers, Cambridge University Press

Nouveaux livres Indigo.ca
new Free shipping on orders above $25. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Two-Level Functional Languages - Flemming Nielson; Hanne Riis Nielson
Livre non disponible
(*)
Flemming Nielson; Hanne Riis Nielson:
Two-Level Functional Languages - livre d'occasion

ISBN: 0521018471

ID: 15459685

The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus, in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of 'parametrized semantics' is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose; it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalises Wadler's analysis for lists. used books,books Books, Cambridge University Press

livre d'occasion Thriftbooks.com
used. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Two-Level Functional Languages - Nielson, Flemming
Livre non disponible
(*)
Nielson, Flemming:
Two-Level Functional Languages - nouveau livre

2005, ISBN: 0521018471

ID: 22381108866

[EAN: 9780521018470], Neubuch, [PU: Cambridge University Press], Language Arts & Disciplines|Linguistics, Computers & the Internet|Programming|Software Development, New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Nouveaux livres Abebooks.de
Pbshop, Wood Dale, IL, U.S.A. [61989342] [Rating: 5 (von 5)]
NEW BOOK Frais d'envoi EUR 13.16
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Nielson, Flemming
Livre non disponible
(*)
Nielson, Flemming:
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Livres de poche

2017, ISBN: 0521018471

ID: 22404899698

[EAN: 9780521018470], Neubuch, [PU: Cambridge University Press], Language Arts & Disciplines|Linguistics, Computers & the Internet|Programming|Software Development, This item is printed on demand.

Nouveaux livres Abebooks.de
Murray Media, North Miami Beach, FL, U.S.A. [59705792] [Rating: 4 (von 5)]
NEW BOOK Frais d'envoi EUR 17.53
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Two-Level Functional Languages - Flemming Nielson
Livre non disponible
(*)
Flemming Nielson:
Two-Level Functional Languages - Livres de poche

ISBN: 9780521018470

Paperback, [PU: CAMBRIDGE UNIVERSITY PRESS], This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times., Programming & Scripting Languages: General

Nouveaux livres Bookdepository.com
Frais d'envoiVersandkostenfrei. (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.