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