Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory - Brossura

Stoy, Joseph E. E.

 
9780262690768: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Sinossi

"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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0262191474 ISBN 13:  9780262191470
Casa editrice: MIT Press, 1977
Rilegato