%0 Journal Article
%T xyz/e面向对象程序语义概述
%A 郭亮？
%A 唐稚松？
%J 软件学报
%P 356-361
%D 2003
%X xyz/e面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.
%K 时序逻辑语言xyz/e
%K 面向对象程序
%K 代理机构
%K 语义一致性
%K 精化
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20030306&flag=1