数据链接代数、数据链接动力学和优先级重写
Data linkage algebra, data linkage dynamics, and priority rewriting
摘要：
我们介绍了一个代数的数据链接。数据连接的目的是为涉及动态数据结构的计算状态建模。我们提出了一个简单的计算模型，其中计算的状态被建模为数据链接和状态变化发生的某些行动。我们描述的状态变化和答复，结果通过一个长期重写系统与规则优先级执行这些行动。该模型是分子动力学的一个升级。升级主要涉及处理值的功能和回收垃圾的功能。
英文摘要：
We introduce an algebra of data linkages. Data linkages are intended for modelling the states of computations in which dynamic data structures are involved. We present a simple model of computation in which states of computations are modelled as data linkages and state changes take place by means of certain actions. We describe the state changes and replies that result from performing those actions by means of a term rewriting system with rule priorities. The model in question is an upgrade of molecular dynamics. The upgrading is mainly concerned with the features to deal with values and the features to reclaim garbage.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
