English
United States
Sign in
Tip from find-more-books.com
Similar books
More/other books that might be very similar to this book
Search tools
Book recommendations
Latest news
Advertising
FILTER
- 0 Results
Lowest price: 59.14 €, highest price: 72.69 €, average price: 64.04 €
Two-Level Functional Languages - Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel
book is out-of-stock
(*)
Flemming Nielson, Hanne Riis Nielson, C. J. Van Rijsbergen, S. Abramsky, P.H. Aczel:
Two-Level Functional Languages - Paperback

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.

New book Abebooks.de
THE SAINT BOOKSTORE, Southport, United Kingdom [51194787] [Rating: 4 (von 5)]
NEW BOOK Shipping costs: EUR 6.01
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Two-Level Functional Languages (Paperback) - Flemming Nielson, Hanne Riis Nielson
book is out-of-stock
(*)
Flemming Nielson, Hanne Riis Nielson:
Two-Level Functional Languages (Paperback) - Paperback

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.

New book Abebooks.de
The Book Depository US, London, United Kingdom [58762574] [Rating: 5 (von 5)]
NEW BOOK Shipping costs: EUR 1.35
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Two-Level Functional Languages - Nielson, Flemming
book is out-of-stock
(*)
Nielson, Flemming:
Two-Level Functional Languages - new book

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.

New book Abebooks.de
Pbshop, Wood Dale, IL, U.S.A. [61989342] [Rating: 5 (von 5)]
NEW BOOK Shipping costs: EUR 13.16
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Nielson, Flemming
book is out-of-stock
(*)
Nielson, Flemming:
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Paperback

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.

New book Abebooks.de
Murray Media, North Miami Beach, FL, U.S.A. [59705792] [Rating: 4 (von 5)]
NEW BOOK Shipping costs: EUR 17.53
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Nielson, Flemming; Nielson, Hanne Riis
book is out-of-stock
(*)
Nielson, Flemming; Nielson, Hanne Riis:
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) - Paperback

ISBN: 9780521018470

ID: 894518711

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

Used or antiquarian book Biblio.com
Russell Books Ltd
Shipping costs: EUR 21.97
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.