方略学科导航

搜索结果: 1-1 共查到“计算机科学技术基础学科程序设计语言”相关记录1条 . 查询时间(0.227 秒)

框架投影时序逻辑程序设计语言中的指针形式语言时序逻辑程序设计数据结构 2009/1/22

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