Can I read 形式语义学基础与形式说明 on EtoBox?

形式语义学基础与形式说明 by 屈延文编著, 屈延文编著, 屈延文 is a book available to read on EtoBox.

What is 形式语义学基础与形式说明 about?

1 (p0-1): 目 录 1 (p0-2): 第一章引论 1 (p0-3): 1.1.形式语义学 4 (p0-4): 1.2.指称语义学 6 (p0-5): 1.3.代数语义学 7 (p0-6): 1.4.操作语义学 8 (p0-7): 1.5.公理语义方法 8 (p0-8): 1.6.形式说明语言 9 (p0-9): 第二章指称语义学基础 9 (p0-10): 2.1.论域问题引子 12 (p0-11): 2.2. 域的构造 14 (p0-12): 2.3. 偏序与完全偏序 18 (p0-13): 2.4. 单调函数与连续函数 21 (p0-14): 2.5. 连续泛函 27 (p0-15): 2.6.泛函不动点及递归程序 46 (p0-16): 2.7.λ-抽象及λ-演算 53 (p0-17): 2.8.指称语义定义初步 59 (p0-18): 习 题 63 (p0-19): 参考文献 64 (p0-20): 第三章程序设计语言的指称语义 64 (p0-21): 3.1.程序设计语言的基本概念 71 (p0-22): 3.2. 存贮语义 77 (p0-23): 3.3. 环境(声明)语义 85 (p0-24): 3.4. 命令语义 89 (p0-25): 3.5.表达式语义 93 (p0-26): 3.6. 连续(Continuations) 111 (p0-27): 3.7.证明技术 120 (p0-28): 3.8. 小结 121 (p0-29): 习 题 123 (p0-30): 参考文献 124 (p0-31): 第四章指称语义的一些例子 124 (p0-32): 4.1.例子1 135 (p0-33): 4.2.例子2 142 (p0-34): 4.3. 例子3 148 (p0-35): 4.4. 例子4 154 (p0-36): 习 题 155 (p0-37): 参考文献 156 (p0-38): 第五章代数语义学基础 156 (p0-39): 5.1.概述 159 (p0-40): 5.2. 范畴论 197 (p0-41): 5.3.图范畴及图文法 243 (p0-42): 5.4.类别代数理论 265 (p0-43): 5.5.抽象数据类型 274 (p0-44): 5.6.等式理论与项重写系统 292 (p0-45): 5.7. 实例 312 (p0-46): 习题 322 (p0-47): 参考文献 323 (p0-48): 6.1.操作语义概述 323 (p0-49): 第六章操作语义学与属性文法 328 (p0-50): 6.2.施用表达式(AE)的机器计算 339 (p0-51): 6.3.属性文法概述 346 (p0-52): 6.4.属性文法分类 374 (p0-53): 6.5.用属性文法进行编译程序设计 387 (p0

Author

屈延文编著, 屈延文编著, 屈延文

Publisher

北京:科学出版社

Published

1989

Language

ZH

ISBN

9787030006066