面向对象的操作语义

摘要

该文研究了面向对象的操作语义方向的若干问题.首先系统地回顾了面向对象操作语义的历史和发展现状,介绍了面向对象操作语义的主要研究方向,论述了面向对象操作语义的重要性.其次介绍了操作语义的基本概念,总结了结构化操作语义的语法范畴,静态语义和动态语义;叙述了Dijkstra对非确定性进行的研究结果.同地对结构化操作语义定义的合理性进行了探讨, 说明了该语义是合理的形式语义.论述了含过程调用的语言PFLOW的操作语义.

目录

文摘

英文文摘

第一章引言

第二章概述

2.1面向对象程序设计语言的形式语义的现状

2.1.1面向对象程序设计语言的形式语义的历史及现状

2.1.2对面向对象的形式语义的主要研究方向

2.2面向对象的操作语义研究的重要性

2.3本文背景

第三章操作语义

3.1引言

3.2结构化的操作语义

3.2.1结构化的操作语义的基本概念

3.2.2语言的结构化操作语义

3.2.3语言的计算

3.2.4 GC语言的操作语义

3.3过程调用

3.3.1引言

3.3.2动态约束下的操作语义

3.3.3静态约束下的操作语义

3.4小结

第四章面向对象语言的概念

4.1对象

4.1.1对象的概述

4.1.2对象的定义

4.2数据类型

4.2.1基本数据类型

4.2.2抽象数据类型

4.3类

4.3.1类的结构

4.3.2构造函数和析构函数

4.3.3数据封装

4.4继承性

4.4.1继承的结构

4.4.2继承层次

4.4.3多重继承

4.5小结

第五章面向对象语言的操作语义

5.1面向对象语言的语法

5.2类型系统

5.2.1静态可见性约束

5.2.2基本类型系统

5.3操作语义

5.3.1存储集和栈

5.3.2概念

5.3.3归约规则

5.4有效执行环境

5.5初始构型

第六章实例说明

6.1基类程序的操作语义

6.2继承性对象语义实例

第七章结束语

7.1总结

7.2面向对象形式语义的发展趋势

参考文献

致谢