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

微信服务号

微信订阅号

首页 > 过刊浏览>2003年第14卷第3期 >356-361

XYZ/E面向对象程序语义概述
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60073020 (国家自然科学基金); the National High Technology Development 863 Program of China under Grant No.863-306-ZT02-04-01 (国家863高科技发展计划)

An Overview Towards the Semantics of XYZ/E Object-Oriented Programs

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

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

Abstract:

The element acted as object in XYZ/E object-oriented program is agent, a module consists of a data package and a process. In this paper, the semantics of XYZ/E object-oriented programs are defined, including their language elements, under the framework of temporal logic. And several theories for proving the semantics consistency between these elements are also provided.

参考文献

相似文献

引证文献

引用本文

郭亮,唐稚松. XYZ/E面向对象程序语义概述.软件学报,2003,14(3):356-361

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2001-11-15
最后修改日期:2001-12-27
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码