Denotational Semantics 在線電子書 圖書標籤: programming_language 計算機 編程語言理論 pl denotational_semantics Semantics 指稱語義
發表於2024-12-25
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."-- American Mathematical Monthly
評分
評分
評分
評分
Denotational Semantics 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024