Data structure fusion
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 indexe...
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Asian Association for Foundation of Software
2011
|
| Online Access: | http://hdl.handle.net/1721.1/63114 https://orcid.org/0000-0001-8095-8523 |