Denotational Semantics 在線電子書 圖書標籤: 計算機科學 Mathematics
發表於2024-12-26
Denotational Semantics 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
"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."<br /> -- American Mathematical Monthly
評分
評分
評分
評分
Denotational Semantics 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024