酷居科技
内容提要:
Stump’s Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional. Programming Language Foundations provides: an even coverage of denotational, operational an axiomatic semantics; extensions to concurrent and non-deterministic versions; operational semantics for untyped lambda calculus; functional programming; type systems; and coverage of emerging topics and modern research directions.
ISBN:1118007476
年份：2013
总页数：336
语言：English
文件大小：17.41 MB
文件格式：PDF
下载:关注本站公众号（右侧二维码），在 个性化-联系客服 中输入本文链接可获取文件下载链接。
