交互作用网理论分析

• 作 者: 黄林鹏 孙永强
• 机 构: 上海交通大学计算机科学与工程系,上海交通大学计算机科学与工程系上海200030,上海200030
• 出 处: 计算机学报
• 发表日期: 1993年3期
• 关键词: 交互作用网 理论 程序设计 Interaction nets linear logic parallel computation.
• 基金项目: 国家自然科学基金

交互作用网是Lafont于1990年在POPL会议上提出的一种程序设计语言.本文我们从证明和程序的关系出发,使用线性逻辑作为一种集成逻辑讨论交互作用网的理论性质,得到下述结论:·网上结点辅助端口的划分可表示成相应类型的张量积;·网上的计算等价于线性矢列演算中Principal-Cut的消去;·对于任何一个交互作用网,如果存在一个线性矢列演算与之对应,则该网是简单的.