Denotational Semantics: Scott-Strachey Approach to Programming Language Theory - Hardcover

Stoy, Joseph E.

 
9780262191470: Denotational Semantics: Scott-Strachey Approach to Programming Language Theory
Hardcover
ISBN 10: 0262191474 ISBN 13: 9780262191470
Publisher: MIT Press, 1977

Synopsis

"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 Monthly

"synopsis" may belong to another edition of this title.

Publisher
MIT Press
Publication date
1977
Language
English
ISBN 10 
0262191474
ISBN 13 
9780262191470
Binding
Hardcover
Number of pages
392

Other Popular Editions of the Same Title

9780262690768: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Computer Science Series)

Featured Edition

ISBN 10:  0262690764 ISBN 13:  9780262690768
Publisher: MIT Press, 1981
Softcover