Data Structure Fusion

Peter Hawkins,Alex Aiken,Kathleen Fisher,Martin Rinard,Mooly Sagiv

APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems（2010）

引用 10|浏览3

暂无评分

摘要

We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are specified using relational algebra and functional dependencies; a novel fuse operation on relational indexes specifies where the underlying physical data structure representation has sharing. We permit the user to specify different concrete shared representations for relations, and show that the semantics of the relational specification are preserved.

查看译文

关键词

abstract data type,data structure,relational algebra,relational index,relational specification,underlying physical data structure,complex sharing,different concrete,functional dependency,novel fuse operation,data structure fusion

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要