Screen Library程序分析方法 = Program analysis methods
Saved in:
| Main Authors: | |
|---|---|
| Published: |
机械工业出版社
|
| Publisher Address: | 北京 |
| Publication Dates: | 2013 |
| Literature type: | Book |
| Language: | Chinese |
| Subjects: | |
| Carrier Form: | 196页: 图 ; 24cm |
| ISBN: | 978-7-111-42252-5 |
| Index Number: | TP311 |
| CLC: | TP311.11 |
| Call Number: | TP311.11/0416-1 |
| Contents: | 本书共7章，第1章介绍程序设计语言的历史以及未来的发展趋势。第2章介绍元程序设计，包括元程序的概述、元程序系统及其应用。第3章介绍信息流分析技术。第4章介绍别名分析的相关知识。第5章介绍程序分片的基础知识和方法。第6章介绍形式概念分析的相关知识和应用。第7章介绍分求值技术的相关内容。 |
| Note: | 编著者还有：张晶，赵健，张鹏 |