论文标题
带有位置类型的静态潜伏期跟踪的核心演算
A Core Calculus for Static Latency Tracking with Placement Types
论文作者
论文摘要
开发有效的地理分布应用程序是具有挑战性的，因为程序员可以轻松地引入需要高潜伏期通信的计算。我们提出了一种语言设计，该设计使延迟显式并为计算的运行时延迟提取类型级别的界限。我们通过核心演算提出了我们的初始步骤，该步骤使提取可证明的正确的延迟界限并概述未来的工作。
Developing efficient geo-distributed applications is challenging as programmers can easily introduce computations that entail high latency communication. We propose a language design which makes latency explicit and extracts type-level bounds for a computation's runtime latency. We present our initial steps with a core calculus that enables extracting provably correct latency bounds and outline future work.
