Programming language foundations
Aaron StumpStump’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.
年:
2013
版本:
1
出版商:
Wiley
語言:
english
ISBN 10:
1118007476
ISBN 13:
9781118007471
文件:
DJVU, 2.61 MB
IPFS:
,
english, 2013