索诺贝、达苏亚;Kohei Suenaga公司;Atsushi Igarashi 基于使用所有权的程序转换的自动内存管理。 （英语） Zbl 1453.68030号 雅克·加里格（编辑），《编程语言和系统》。第十二届亚洲研讨会，2014年APLAS，新加坡，新加坡，2014年11月17日至19日，会议记录。柏林：施普林格。莱克特。注释计算。科学。8858, 58-77 (2014). 摘要：我们提出了一种基于类型的程序转换，用于带有手动存储管理原语（例如。，{malloc}和{自由}在C）中。我们的算法，给定一个可能存在内存泄漏的程序，将内存释放指令插入到程序中，以使生成的程序不包含内存泄漏。我们将该算法设计为Suenaga和Kobayashi对基于所有权的类型系统的扩展的类型重建。有关整个系列，请参见[兹比尔1327.68021]. MSC公司： 68甲15 编程语言理论 68甲18 函数编程和lambda演算 关键词：内存泄漏;类型系统;程序转换 PDF格式BibTeX公司 XML格式引用 \textit{T.Sonobe}等人，Lect。注释计算。科学。8858，58--77（2014；Zbl 1453.68030） 全文： 内政部