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

【文件属性】：

文件名称：框架投影时序逻辑程序设计语言中的指针 (2008年)

文件大小：79KB

文件格式：PDF

更新时间：2024-06-10 02:40:05

自然科学 论文

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