作者: Benjamin C. Pierce
ISBN: 9780262162098
页数: 623
定价: USD 70.00
出版社: The MIT Press
装帧: Hardcover
出版年: 2002-02-01
页数: 623
定价: USD 70.00
出版社: The MIT Press
装帧: Hardcover
出版年: 2002-02-01
简介 · · · · · ·
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective—-has important applications in software engineering, language design, high-performance compilers, and secu... (展开全部)
豆瓣成员常用的标签(共20个) · · · · · ·
喜欢读"这本书"的人也喜欢: · · · · · ·
