摘要：用于实现O(1)导航时间的循环链接树通常由命令式程序员使用。一些逻辑程序员认为，在基于逻辑的语言中，需要使用循环术语来实现相同的效果。一种古老但鲜为人知的技术使用可逆谓词提供了无需循环链接的O(1)时间和空间导航。通过进行小的修改，可以提供O(1)的平摊时间和空间编辑。
作者：Richard A. O'Keefe
论文ID：cs/0406014
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中