具有脱落的数据链接动态
Data linkage dynamics with shedding
摘要：
我们研究脱落的设置数据链接动态，一个简单的计算模型，承担在编程中使用动态数据结构。释放是对垃圾回收的补充。通过剥离，每次程序更新到数据对象的链接时，确定该链接是否可能被程序再次使用，如果不是，则自动删除该链接。因此，一切都是垃圾，只要它可以被视为垃圾。这样，垃圾回收的有效性变得最大。
英文摘要：
We study shedding in the setting of data linkage dynamics, a simple model of computation that bears on the use of dynamic data structures in programming. Shedding is complementary to garbage collection. With shedding, each time a link to a data object is updated by a program, it is determined whether or not the link will possibly be used once again by the program, and if not the link is automatically removed. Thus, everything is made garbage as soon as it can be viewed as garbage. By that, the effectiveness of garbage collection becomes maximal.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
