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

• 作者: 唐稚松 郭亮
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 时序逻辑语言XYZ/E 面向对象程序 代理机构 语义一致性 精化
• 年，卷（期）: 2003,（3）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 356-361
• 页数: 6页
• 分类号: TP311
• 字数: 6607字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭亮	中国科学院软件研究所计算机科学重点实验室	73	452	11.0	18.0
2	唐稚松	中国科学院软件研究所计算机科学重点实验室	8	175	4.0	8.0