• 研究论文 • 上一篇    下一篇



  1. (西安电子科技大学 计算理论与技术研究所,陕西 西安 710071)
  • 收稿日期:2008-06-02 修回日期:1900-01-01 出版日期:2008-12-20 发布日期:2008-12-20
  • 通讯作者: 王小兵

Pointers in framing projection temporal logic programming languages

WANG Xiao-bing;DUAN Zhen-hua

  1. (Research Inst. of Computing Theory & Technology, Xidian Univ., Xi’an 710071, China)
  • Received:2008-06-02 Revised:1900-01-01 Online:2008-12-20 Published:2008-12-20
  • Contact: WANG Xiao-bing

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

关键词: 形式语言, 时序逻辑程序设计, 数据结构, 指针, 框架

Abstract: A new method is presented for formalizing pointers and its implementation in Framed Tempura which is a framing Projection Temporal Logic programming language. It extends the Projection Temporal Logic and gives formal definitions of pointers reference and dereference based on name constants, and then by use of the frame operator and minimal model gives the implementing way in Framed Tempura which is an executable subset of the Projection Temporal Logic. An example for in place reversal of a singly linked list shows this method is workable.

Key words: formal languages, temporal logic programming, data structures, pointer, framing


  • TP311