一种基于布局类型的静态延迟跟踪核心演算
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
