时序逻辑语言XYZ/E中指针的形式化表示与验证

• 作者: 唐稚松 李广元
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 时序逻辑 形式语义 程序验证 动态语义 指针
• 年，卷（期）: 2000,（3）
• 页码范围: 285-292
• 页数: 15页
• 分类号: TP312
• 字数: 2739字
• 语种: 中文

摘要

指针是一种重要的数据类型,使用指针能使程序更加有效和优美.可是指针却以不易驾御而闻名,至今在时序逻辑语言中未见到对它的形式化工作.XYZ/E既是一个时序逻辑系统也是一个程序设计语言,它能表示普通高级语言中几乎所有的重要机制.本文主要讨论在时序逻辑语言XYZ/E中指针的形式化表示问题以及在结构化XYZ/SE程序中指针的验证问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李广元	中国科学院软件研究所计算机科学开放研究实验室	3	8	2.0	2.0
5	唐稚松	贵州大学计算机理论研究所	1	5	1.0	1.0