框架投影时序逻辑程序设计语言中的指针

• 作者: 段振华 王小兵
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 形式语言 时序逻辑程序设计 数据结构 指针 框架
• 年，卷（期）: 2008,（6）
• 页码范围: 1069-1074
• 页数: 6页
• 分类号: TP311
• 字数: 5097字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2008.06.022

摘要

针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法.原地逆置单链表的实例说明该方法是切实可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小兵	西安电子科技大学计算理论与技术研究所	60	484	12.0	18.0
2	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0