Repeat-until语句的操作语义与指称语义的等价性证明

• 作者: 侯迪 王纪川 齐勇
• 来源期刊: 西安工程大学学报
• 关键词: Repeat-until循环语句 操作语义 指称语义 语义等价性
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 机械与电子信息工程
• 页码范围: 763-766
• 页数: 4页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.3969/j.issn.1674-649X.2006.06.022

摘要

在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.其中操作语义学和指称语义学是形式语义学的两大类别.本文使用简单的命令式语言IMP的语法,首先给出了repeat-until循环语句的操作语义,然后详细推导出了其指称语义,并在此基础上详细证明了它们二者之间的语义等价性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	侯迪	西安交通大学计算机科学技术系	45	532	12.0	22.0
2	齐勇	西安交通大学计算机科学技术系	80	870	16.0	27.0
3	王纪川	西安交通大学计算机科学技术系	8	23	3.0	4.0