Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory - Joseph E. Stoy - Paperback | Rent 9780262690768

by Stoy, Joseph E.

Marketplace Prices
New from $63.90

New
$63.90

Item Details
Condition: New
Provider: gridfreed Contact
Provider Rating:

69%
Ships From: San Diego, CA
Shipping: Standard
Comments: New. In shrink wrap. Looks like an interesting title!

ISBN-13: 9780262690768
ISBN: 0262690764
Publisher: MIT Press

AUTHOR

Stoy, Joseph E.

SUMMARY

"First book-length exposition of the denotational (or 'mathematical' or 'functional') approach to the formal semantics of programming languages (in contrast to 'operational' and 'axiomatic' approaches). Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source." -- American Mathematical MonthlyStoy, Joseph E. is the author of 'Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory - Joseph E. Stoy - Paperback' with ISBN 9780262690768 and ISBN 0262690764.

[read more]