登入帳戶　 |　訂單查詢　 |　購物車/收銀台( 0 )　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』程序分析方法

書城自編碼： 2075117
分類：簡體書→大陸圖書→計算機/網絡→程序設計
作者： 刘磊
國際書號(ISBN)： 9787111422525
出版社： 机械工业出版社
出版日期： 2013-06-01
版次： 1 印次： 1
頁數/字數： 196/
書度/開本： 16开 釘裝： 平装

售價：HK$ 119.3

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
海外中国研究·王羲之：六朝贵族的世界（艺术系列）
《 海外中国研究·王羲之：六朝贵族的世界（艺术系列） 》
售價：HK$ 178.1
唐宋绘画史 全彩插图版
《 唐宋绘画史 全彩插图版 》
售價：HK$ 98.6
海洋、岛屿和革命：当南方遭遇帝国（文明的另一种声音）
《 海洋、岛屿和革命：当南方遭遇帝国（文明的另一种声音） 》
售價：HK$ 106.4
铝合金先进成型技术
《 铝合金先进成型技术 》
售價：HK$ 266.6
《全面与进步跨太平洋伙伴关系协定》国有企业条款研究
《 《全面与进步跨太平洋伙伴关系协定》国有企业条款研究 》
售價：HK$ 98.6
银行业架构网络BIAN（全球数字化时代金融服务业框架）（数字化转型与创新管理丛书）
《 银行业架构网络BIAN（全球数字化时代金融服务业框架）（数字化转型与创新管理丛书） 》
售價：HK$ 98.6
金托邦：江湖中的沉重正义
《 金托邦：江湖中的沉重正义 》
售價：HK$ 60.5
易经今解：释疑·解惑·见微
《 易经今解：释疑·解惑·见微 》
售價：HK$ 88.5

 
建議一齊購買：

+

HK$ 148.5
《精通 ASP.NET MVC 5》		 +

HK$ 192.0
《Visual Basic开发实例大全（提高卷）》		 +

HK$ 179.4
《认知与设计：理解UI设计准则（第2版）》		 +

HK$ 259.7
《C#入门经典（第6版）》
內容簡介：
《程序分析方法》共7章，第1章介绍程序设计语言的历史以及未来的发展趋势；第2章介绍元程序设计，包括元程序的概述、元程序系统及其应用；第3章介绍信息流分析技术；第4章介绍别名分析的相关知识；第5章介绍程序分片的基础知识和方法；第6章介绍形式概念分析的相关知识和应用；第7章介绍部分求值技术的相关内容。
《程序分析方法》可作为计算机相关专业本科高年级学生及研究生教材，也可作为程序开发人员的参考用书。
目錄：
前言
第1章程序设计语言
1.1程序设计语言发展的四个阶段
1.1.1机器语言
1.1.2汇编语言
1.1.3高级语言
1.1.4第四代语言
1.2程序设计语言的发展趋势
小结
第2章元程序设计
2.1元程序介绍
2.2元程序设计系统
2.2.1元程序系统的组成
2.2.2中间表示
2.2.3规则分类和对应的结构
2.2.4元级操作
2.2.5系统的生成
2.3元级系统的实际应用
2.3.1如何构造高效的系统
2.3.2几个元级系统的介绍
小结
第3章信息流分析
3.1控制流分析
3.1.1控制流分析实例
3.1.2控制流分析方法
3.1.3程序的结构化转换
3.2数据流分析技术
3.2.1数据流方程定义和活跃变量分析
3.2.2数据流异常的检测
3.2.3常量表达式节省
3.2.4公共子表达式节省
3.3信息流分析技术的应用实例
3.3.1方法描述
3.3.2应用
小结
第4章别名分析
4.1指针别名
4.1.1指针别名的产生
4.1.2别名信息的分类
4.2别名信息的表示
4.2.1别名信息的表示介绍
4.2.2别名计算
4.3C语言的别名计算
4.3.1C语言的别名采集器
4.3.2C语言的别名传播器
4.4Java的别名分析
4.4.1Java中的别名问题
4.4.2别名分析算法
小结
第5章程序分片
5.1程序分片的基础知识
5.1.1程序分片的基本概念
5.1.2一些常见的程序分片方法
5.1.3程序分片的应用
5.2程序分片方法
5.2.1基于数据流方程求解的过程内分片
5.2.2基于数据流方程求解的过程间分片
5.2.3基于程序依赖图的过程内分片
5.2.4基于系统依赖图的过程间分片
5.2.5动态分片
5.2.6条件分片
小结
第6章形式概念分析
6.1FCA和格理论基础介绍
6.1.1偏序集及完全格的基本概念
6.1.2Galois连接
6.2FCA的基本概念
6.2.1上下文
6.2.2概念
6.2.3概念格
6.2.4多值上下文
6.2.5概念格的生成算法
6.2.6生成概念格的工具
6.3概念格在程序分析中的应用
6.3.1概述
6.3.2从源程序中推导配置结构
6.3.3从遗留软件中提取类或模块
6.3.4重构类结构
6.3.5动态分析
小结
第7章部分求值技术
7.1部分求值技术基本原理
7.1.1Kleene的s-m-n理论
7.1.2部分求值器的定义
7.2几种部分求值技术的介绍
7.2.1静态部分求值方法
7.2.2动态部分求值技术
7.2.3动静态结合的部分求值技术
7.3Futamura投影定理
7.3.1第一投影定理
7.3.2编译器的生成与第二投影定理
7.3.3第三投影定理
7.4程序点例化技术
7.4.1状态、程序点和分割
7.4.2程序点例化
7.4.3不同语句的代码生成
7.4.4转换压缩
7.4.5正确的分割技巧
7.4.6简单绑定时间分析
小结
参考文献

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.