Foundations for Programming Languages pdf epub mobi txt 电子书 下载 2025
- 程序设计语言理论
- Programming
- 计算机科学
- PL
- 程序语义
- lambda
- 程序设计
- 编译原理
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic.Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series
具体描述
读后感
评分
评分
评分
评分
用户评价
J.C.Mitchell <concepts in pl> 的前传
评分J.C.Mitchell <concepts in pl> 的前传
评分J.C.Mitchell <concepts in pl> 的前传
评分J.C.Mitchell <concepts in pl> 的前传
评分J.C.Mitchell <concepts in pl> 的前传
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有