The geometry of interaction machine
The geometry of interaction machine
复制标题
交互机器的几何结构
DOI：
10.1145/199448.199483
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
I. Mackie
中科院分区：
文献类型：
--
作者：
I. Mackie
我们研究了直接由吉拉德（Girard）的线性逻辑相互作用语义的几何形状引起的实现技术，特别是用于简单功能编程语言（PCF）的实现技术。这产生了一个非常简单，紧凑的编译模式和运行时系统。我们分析了这种计算的各种属性，这些属性提出了实质性优化，这可以使实施范式不仅实用，而且可能比现存的范式更有效。
We investigate implementation techniques arising directly from Girard's Geometry of Interaction semantics for Linear Logic, specifically for a simple functional programming language (PCF). This gives rise to a very simple, compact, compilation schema and run-time system. We analyse various properties of this kind of computation that suggest substantial optimisations that could make this paradigm of implementation not only practical, but potentially more efficient than extant paradigms.