| 时序逻辑语言XYZ/E中指针的形式化表示与验证 |
| 其他题名 | formalization and verification of pointers in the temporal logic language xyz/e programs
|
| 李广元; 唐稚松
|
| 2000
|
| 发表期刊 | 软件学报
 |
| 卷号 | 11期号:3 |
| 收录类别 | wanfang
|
| 关键词 | 时序逻辑
形式语义
程序验证
动态语义
指针
Temporallogic
Formalsemantics
Programverification
Dynamicsemantics
Pointer
|
| 部门归属 | 计算机科学国家重点实验室
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/5072
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
李广元,唐稚松. 时序逻辑语言XYZ/E中指针的形式化表示与验证[J]. 软件学报,2000,11(3).
|
| APA |
李广元,&唐稚松.(2000).时序逻辑语言XYZ/E中指针的形式化表示与验证.软件学报,11(3).
|
| MLA |
李广元,et al."时序逻辑语言XYZ/E中指针的形式化表示与验证".软件学报 11.3(2000).
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论