Denotational Semantics : The Scott-strachey Approach to Programming Language Theory (Computer Science Series) -- Paperback / softback

ホーム
> 洋書

Stoy, Joseph E.

Mit Press Ltd（1981/09発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版
言語 ENG
商品コード 9780262690768
DDC分類 004

Full Description

"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