| dc.contributor.author | Hawkins, Peter | |
| dc.contributor.author | Aiken, Alex | |
| dc.contributor.author | Fisher, Kathleen | |
| dc.contributor.author | Rinard, Martin C. | |
| dc.contributor.author | Sagiv, Mooly | |
| dc.date.accessioned | 2011-05-25T17:59:27Z | |
| dc.date.available | 2011-05-25T17:59:27Z | |
| dc.date.issued | 2010-11 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/63114 | |
| dc.description.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. | en_US |
| dc.language.iso | en_US | |
| dc.publisher | Asian Association for Foundation of Software | en_US |
| dc.relation.isversionof | http://basics.sjtu.edu.cn/conference/aplas2010/accepted_papers.htm | en_US |
| dc.rights | Creative Commons Attribution-Noncommercial-Share Alike 3.0 | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0 | en_US |
| dc.source | MIT web domain | en_US |
| dc.title | Data structure fusion | en_US |
| dc.type | Article | en_US |
| dc.identifier.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. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.contributor.approver | Rinard, Martin C. | |
| dc.contributor.mitauthor | Rinard, Martin C. | |
| dc.relation.journal | Papers of the Eighth ASIAN Symposium on Programming Languages and Systems, APLAS 2010 | en_US |
| dc.eprint.version | Author's final manuscript | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| dspace.orderedauthors | Hawkins, Peter; Aiken, Alex; Fisher, Kathleen; Rinard, Martin; Sagiv, Mooly | |
| dc.identifier.orcid | https://orcid.org/0000-0001-8095-8523 | |
| mit.license | OPEN_ACCESS_POLICY | en_US |
| mit.metadata.status | Complete | |
