Items related to Denotational Semantics: The Scott-Strachey Approach...

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

Stoy, Joseph E. E.

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

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.

Product Description

Denotational Semantics "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 Full description

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

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