Geometry of synthesis iv: compiling affine recursion into static hardware
Geometry of synthesis iv: compiling affine recursion into static hardware
复制标题
综合几何四：将仿射递归编译成静态硬件
DOI：
10.1145/2034773.2034805
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Satnam Singh
中科院分区：
文献类型：
--
作者：
D. Ghica;Alex I. Smith;Satnam Singh
Abramsky的交互几何解释（英语：Geometry of Interaction interpretation，GoI）是一种逻辑导向的方法来协调计算的过程和函数视图，并可以导致编程语言的操作性（即有效）和指称性（即语言语法上的归纳性）。Ghica的几何合成（GoS）方法的关键思想是，对于某些编程语言（即Reynolds的仿射干扰语法控制- SCI），语言的GoI过程类解释可以给出一个有限表示，用于内部状态和令牌。这种表示的物理实现成为SCI到硬件的语义导向编译器。在本文中，我们研究的问题编译仿射递归程序到硬件使用GoS方法。我们给出了在空间或时间上展开递归计算的语法和编译技术，并用简单的基准测试风格的例子来说明它。我们研究的性能基准对传统的基于CPU的执行模型。
Abramsky's Geometry of Interaction interpretation (GoI) is a logical-directed way to reconcile the process and functional views of computation, and can lead to a dataflow-style semantics of programming languages that is both operational (i.e. effective) and denotational (i.e. inductive on the language syntax). The key idea of Ghica's Geometry of Synthesis (GoS) approach is that for certain programming languages (namely Reynolds's affine Syntactic Control of Interference - SCI) the GoI processes-like interpretation of the language can be given a finitary representation, for both internal state and tokens. A physical realisation of this representation becomes a semantics-directed compiler for SCI into hardware. In this paper we examine the issue of compiling affine recursive programs into hardware using the GoS method. We give syntax and compilation techniques for unfolding recursive computation in space or in time and we illustrate it with simple benchmark-style examples. We examine the performance of the benchmarks against conventional CPU-based execution models.
综合几何 II：从游戏到延迟不敏感电路
影响因子：
--
作者：
Ghica D
通讯作者：
Ghica D
DOI：
10.1109/memcod.2011.5970519
发表时间：
2011
期刊：
--
影响因子：
--
作者：
Ghica D
通讯作者：
Ghica D