#essence

下载PDF摘要：防锈索赔通过桥接级别系统编程和高级应用程序编程的差距来推进工业编程。在ATHEART的论点中，这使程序员能够构建更可靠的且效率的软件是借用检查员 - 一种新的所有权的方法，以便使用可用性来平衡系统表达性。然而，目前迄今为止没有核心类型系统，捕获生锈和借用的概念，因此没有对生锈进行研究的基础。在这项工作......