|
中图分类法:
|
TP312 版次： |
|
著者:
|
Stump, Aaron. |
|
题名:
|
Programming language foundations / / , |
|
出版发行:
|
出版地： Hoboken, NJ : 出版社： John Wiley & Sons, Inc., 出版日期： 2014. |
|
载体形态:
|
x, 326 p. : ill. ; 24 cm. |
|
附注:
|
Includes bibliograpical referencs and index. |
|
内容提要:
|
"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. "-- |
|
主题词:
|
Programming languages (Electronic computers) |
|
主题词:
|
Programming languages (Electronic computers) Semantics. |
|
索书号:
|
1 |