现货 程序分析原理 Principles of Program Analysis
￥ 395 九五品
仅1件
上海浦东
认证卖家担保交易快速发货售后保障
作者Flemming Nielson
出版社Springer
ISBN9783642084744
出版时间2010-12
装帧平装
页数473页
货号9783642084744
上书时间2024-11-07
- 在售商品 暂无
- 平均发货时间 32小时
- 好评率 暂无
- 店主推荐
- 最新上架
商品详情
- 品相描述：九五品
- 商品描述
- Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.
— 没有更多了 —
以下为对购买帮助不大的评价