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

• 作 者: 王小兵 段振华
• 机 构: 西安电子科技大学计算理论与技术研究所
• 出 处: 西安电子科技大学学报
• 发表日期: 2008年6期
• 关键词: 形式语言 时序逻辑程序设计 数据结构 程序设计语言 formal languages temporal logic programming data st
• 基金项目: 国家自然科学基金重点项目资助（60433010）

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