Name: Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science)
SKU: 19188580
Price: 6334.00 TWD
Availability: InStock
Author: Nielson
ISBN: 9780521403849

portada Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science)

Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science)

Type

Physical Book

Publisher

Cambridge University Press

Author

Nielson

Year

1992

Language

English

Pages

311

Format

Hardcover

ISBN

0521403847

ISBN13

9780521403849

Edition No.

Synopsis "Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science) "

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science) - Nielson

Synopsis "Two-Level Functional Languages Hardback (Cambridge Tracts in Theoretical Computer Science) "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery