XYZ/E面向对象程序语义概述

被引：5

作者：

郭亮

唐稚松

机构：

[1] 中国科学院软件研究所计算机科学重点实验室

[2] 中国科学院软件研究所计算机科学重点实验室北京

来源：

关键词：

时序逻辑语言XYZ/E; 面向对象程序; 代理机构; 语义一致性; 精化;

D O I：

10.13328/j.cnki.jos.2003.03.006

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.

引用

页码：356 / 361

页数：6