Data structure fusion
Name
Rinard_Data structure.pdf
Size
402.42 KB
Format
Adobe PDF
Checksum (MD5)
bba97f6697c409c1e268019a5436f82d
Author(s)
Hawkins, Peter
Aiken, Alex
Fisher, Kathleen
Rinard, Martin C.
Sagiv, Mooly
Date Issued
November 2010
Journal
Papers of the Eighth ASIAN Symposium on Programming Languages and Systems, APLAS 2010
Publisher
Asian Association for Foundation of Software
Citation
Hawkins, Peter et al. "Data Structure Fusion." in Papers of the Eighth ASIAN Symposium on Programming Languages and Systems, APLAS 2010, Shanghai, China, Nov. 28-Dec.1, 2010.
Version
Author's final manuscript
Abstract
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 specifi es where the underlying physical data structure representation has sharing. We permit the user to specify diff erent concrete shared representations for relations, and show that the semantics of the relational specifi cation are preserved.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike 3.0
Persistent DSpace Link
DOI of Published Version
http://basics.sjtu.edu.cn/conference/aplas2010/accepted_papers.htm
