论文标题
确保汇编的分类方法
A categorical approach to secure compilation
论文作者
论文摘要
我们介绍了一种新的方法，以根据分布定律的地图确保汇编。我们通过四个示例证明，分配法律图的相干标准可能是编译器安全的可行替代方案，而不是完全抽象，这是上下文等价的保存和反射。为此，我们还利用了分布定律的良好行为属性来构建对双性恋的上下文含义的绝对论点。
We introduce a novel approach to secure compilation based on maps of distributive laws. We demonstrate through four examples that the coherence criterion for maps of distributive laws can potentially be a viable alternative for compiler security instead of full abstraction, which is the preservation and reflection of contextual equivalence. To that end, we also make use of the well-behavedness properties of distributive laws to construct a categorical argument for the contextual connotations of bisimilarity.
