Programming Language Foundations 封面

Programming Language Foundations

作 者:
Aaron Stump
日 期:
2012年12月
ISBN:
1118007476

简介

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.

下载

扫码关注『极客精神』公众号

公众号:极客精神

请在公众号『极客精神』发送消息 bookist.cc 获取提取码

消息“bookist.cc”不区分大小写。提取码有效期为一个月左右,输入后会自动存储在本地,下次无需重复输入。