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: 59,14 €, prix le plus élevé: 72,69 €, prix moyen: 64,04 €
Two-Level Functional Languages - Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel
Livre non disponible
(*)
Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel:
Two-Level Functional Languages - Livres de poche

ISBN: 0521018471

ID: 16424652585

[EAN: 9780521018470], Neubuch, [PU: Cambridge University Press], Language Arts & Disciplines|Linguistics, Computers & the Internet|Programming|Software Development, BRAND NEW PRINT ON DEMAND., Two-Level Functional Languages, Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel, 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. It is also shown how the results of abstract interpretation may be used to improve the code generation. The work is both an exposition and synthesis of recent research and as such will be valuable to research workers and graduate students working in formal methods and functional languages.

Nouveaux livres Abebooks.de
THE SAINT BOOKSTORE, Southport, United Kingdom [51194787] [Rating: 4 (von 5)]
NEW BOOK Frais d'envoi EUR 6.01
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 (Paperback) - Flemming Nielson, Hanne Riis Nielson
Livre non disponible
(*)
Flemming Nielson, Hanne Riis Nielson:
Two-Level Functional Languages (Paperback) - Livres de poche

2005, ISBN: 0521018471

ID: 14554979415

[EAN: 9780521018470], Neubuch, [PU: CAMBRIDGE UNIVERSITY PRESS, United Kingdom], Language Arts & Disciplines|Linguistics, Computers & the Internet|Programming|Software Development, Language: English Brand New Book ***** Print on Demand *****. 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.

Nouveaux livres Abebooks.de
The Book Depository US, London, United Kingdom [58762574] [Rating: 5 (von 5)]
NEW BOOK Frais d'envoi EUR 1.35
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 (Cambridge Tracts in Theoretical Computer Science) - Nielson, Flemming; Nielson, Hanne Riis
Livre non disponible
(*)
Nielson, Flemming; Nielson, Hanne Riis:
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Livres de poche

ISBN: 9780521018470

ID: 894518711

Cambridge University Press. PAPERBACK. 0521018471 Special order direct from the distributor . New., Cambridge University Press

livre d'occasion Biblio.com
Russell Books Ltd
Frais d'envoi EUR 21.97
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.