Two-Level Functional Languages

Name: Two-Level Functional Languages
SKU: 1770015
Price: 339.99 AUD
Availability: InStock

By:

Format:

Hardback

Series:

Cambridge Tracts in Theoretical Computer Science

Show Hide Adult Content

$339.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $85.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 11-21 June using International Courier

Description

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.

Release date Australia

July 16th, 1992

Author

Audience

Professional & Vocational

Illustrations

35 Tables, unspecified; 4 Line drawings, unspecified

Pages

312

Series

Cambridge Tracts in Theoretical Computer Science

Dimensions

170x244x19

ISBN-13

9780521403849

Product ID

1770015

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here