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

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

Pointers in framing projection temporal logic programming languages

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.