切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
XYZ/E面向对象程序语义概述
XYZ/E面向对象程序语义概述
来源 :软件学报 | 被引量 : 0次 | 上传用户:yufs80131234
【摘 要】
:
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语
【作 者】
:
郭亮
唐稚松
【机 构】
:
中国科学院软件研究所计算机科学重点实验室
【出 处】
:
软件学报
【发表日期】
:
2003年3期
【关键词】
:
XYZ/E
面向对象
程序语义
程序设计语言
时序逻辑语言
代理机构
语义一致性
temporal logical language XYZ/E
object
【基金项目】
:
国家自然科学基金,国家高技术研究发展计划(863计划)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.
其他文献
一类实际网络中的最小截算法
讨论了节点和边都有容量限制的无向平面网络中的两点间的最小截问题.传统方法是把节点和边都有容量的网络中的最小截问题转化为只有边有容量的问题,但该方法用在平面网络时不
期刊
组合优化问题
最小截算法
平面网络
平面图最短路径算法
Algorithms
Graph theory
Optimization
Theorem proving
谈数学教学中如何加强学生记忆
期刊
技校教育
数学教学
学生
记忆能力
加替沙星联合头孢哌酮对老年重症肺炎的疗效分析
目的分析加替沙星联合头孢哌酮对老年重症肺炎的疗效。方法对于我院收治的62例老年重症肺炎患者进行随机平均分组,对照组(n=31)采用加替沙星治疗,观察组(n=31)在对照组基础上加用头
期刊
加替沙星
头孢哌酮
老年重症肺炎
疗效
gatifloxacin
cefoperazone
elderly patients with severe pne
尚媛、何龙辉、颜琦韬、赵贤若作品
期刊
西藏本科院校《大学体育》课程开设现状与对策研究
西藏地理位置多处于高海拔区域。在高海拔区域且少数民族学生聚居较多的高校开设体育课程应区别于其他平原地区高校的体育课程。通过对西藏四所本科院校的《大学体育》课程开
期刊
西藏
本科院校
大学体育
现状
对策
论课堂提问
期刊
课堂教学
课堂提问
针对性
清晰度
提问类型
不同剂量右旋美托嘧啶联合七氟醚对小儿吸入全身麻醉后呼吸功能的影响
目的评估比较不同剂量右旋美托咪啶对七氟醚诱导小儿麻醉过程中呼吸功能的影响。方法在气管插管及自主通气后,给予分别给予剂量为0.5μg/kg或1.0tLg/kg的右旋美托咪啶,监测并记录给
期刊
右旋美托咪啶
七氟醚
呼吸抑制
Dexmedetomidine
Sevofiurane
Respiratory Depression
UML Statecharts的模型检验方法
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示
期刊
UMLStatecharts
模型检验方法
软件开发
统一建模语言
UML (unified modeling language)
Statecharts
快速检修彩电故障的技巧
期刊
彩电
故障检修
技巧
瘦素预处理对兔急性肺栓塞血清炎性因子的影响
目的通过观察外源性瘦素对兔急性肺栓塞(APE)后IL-6及IL-8水平的影响,探讨其在肺损伤时的保护机制。方法选取健康新西兰兔24只,随机分为两组,模型组与瘦素预处理组,每组12只。两组
期刊
瘦素
肺栓塞
白细胞介素-6
白细胞介素-8
leptin
pulmonary embolism
interleukin-6 ( IL-6 )
int
与本文相关的学术论文