Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 0521018471 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 59,14 €, größter Preis: 72,69 €, Mittelwert: 64,04 €
Two-Level Functional Languages - Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel:
Two-Level Functional Languages - Taschenbuch

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.

Neues Buch Abebooks.de
THE SAINT BOOKSTORE, Southport, United Kingdom [51194787] [Rating: 4 (von 5)]
NEW BOOK Versandkosten: EUR 6.01
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Two-Level Functional Languages (Paperback) - Flemming Nielson, Hanne Riis Nielson
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Flemming Nielson, Hanne Riis Nielson:
Two-Level Functional Languages (Paperback) - Taschenbuch

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.

Neues Buch Abebooks.de
The Book Depository US, London, United Kingdom [58762574] [Rating: 5 (von 5)]
NEW BOOK Versandkosten: EUR 1.35
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Two-Level Functional Languages - Nielson, Flemming
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Nielson, Flemming:
Two-Level Functional Languages - neues Buch

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.

Neues Buch Abebooks.de
Pbshop, Wood Dale, IL, U.S.A. [61989342] [Rating: 5 (von 5)]
NEW BOOK Versandkosten: EUR 13.16
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Nielson, Flemming
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Nielson, Flemming:
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Taschenbuch

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.

Neues Buch Abebooks.de
Murray Media, North Miami Beach, FL, U.S.A. [59705792] [Rating: 4 (von 5)]
NEW BOOK Versandkosten: EUR 17.53
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Nielson, Flemming; Nielson, Hanne Riis
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Nielson, Flemming; Nielson, Hanne Riis:
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Taschenbuch

ISBN: 9780521018470

ID: 894518711

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

gebrauchtes bzw. antiquarisches Buch Biblio.com
Russell Books Ltd
Versandkosten: EUR 21.97
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.