TY - GEN
T1 - Data structure fusion
AU - Hawkins, Peter
AU - Aiken, Alex
AU - Fisher, Kathleen
AU - Rinard, Martin
AU - Sagiv, Mooly
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=78650757555&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-17164-2_15
DO - 10.1007/978-3-642-17164-2_15
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:78650757555
SN - 364217163X
SN - 9783642171635
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 204
EP - 221
BT - Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings
Y2 - 28 November 2010 through 1 December 2010
ER -