Call Boomerang Books 1300 36 33 32

Description - Two-Level Functional Languages by Flemming Nielson

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.

Buy Two-Level Functional Languages by Flemming Nielson from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521018470
ISBN-10: 0521018471
Format: Paperback
(247mm x 174mm x 17mm)
Pages: 312
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 15-Jun-2005
Country of Publication: United Kingdom

Book Reviews - Two-Level Functional Languages by Flemming Nielson

» Have you read this book? We'd like to know what you think about it - write a review about Two-Level Functional Languages book by Flemming Nielson and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review


Books By Flemming Nielson

Principles of Program Analysis by Flemming Nielson
Paperback, December 2010
$103.46