西安工程科技学院学报2006，Vol.20Issue(6)：763-766,4.
Repeat-until语句的操作语义与指称语义的等价性证明
Equivalence proving of operational and denotational semantics about Repeat-until statement
王纪川 1侯迪 2齐勇1
作者信息
- 1. 西安交通大学,计算机科学技术系,陕西,西安,710049
- 2. 西安工程大学,计算机科学学院,陕西,西安,710048
- 折叠
摘要
关键词
Repeat-until循环语句/操作语义/指称语义/语义等价性分类
信息技术与安全科学引用本文复制引用
王纪川,侯迪,齐勇..Repeat-until语句的操作语义与指称语义的等价性证明[J].西安工程科技学院学报,2006,20(6):763-766,4.
