A Perspective on the Dependency Core Calculus
A Perspective on the Dependency Core Calculus
复制标题
依赖核心演算的视角
DOI：
10.1145/3264820.3264823
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Maximilian Algehed
中科院分区：
文献类型：
--
作者：
Maximilian Algehed
本文对Abadi等人[2]的依赖核演算（DCC）的终止片段提出了一个简单但同样具有表达力的瓦里。DCC是一个简洁而优雅的跟踪依赖的演算。除其他领域外，微积分还应用于信息流控制、切片和绑定时间分析。然而，在本文中，我们表明，它是可能的，以取代一个核心的技术设备在DCC的替代，更简单，配方。该演算具有与DCC相同的指称语义，利用该指称语义，我们证明了这两个演算是等价的。作为概念证明，我们的演算提供了一个简单的依赖分析，我们在Haskell中实现了它，与以前的工作相比，实现更简单[4]。
This paper presents a simple but equally expressive vari- ant on the terminating fragment of the Dependency Core Calculus (DCC) of Abadi et al. [2]. DCC is a concise and elegant calculus for tracking dependency. The calculus has applications in, among other areas, information flow control, slicing, and binding time analysis. However, in this paper we show that it is possible to replace a core technical device in DCC with an alternative, simpler, formulation. The calculus has a denotational semantics in the same domain as DCC, using which we prove that the two calculi are equivalent. As a proof of concept to show that our calculus provides a simple analysis of dependency we implement it in Haskell, obtaining a simpler implementation compared to previous work [4].
通过分级结合效应和协同效应
DOI：
10.1145/2951913.2951939
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Gaboardi M
通讯作者：
Gaboardi M