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

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