An introduction to data representation synthesis

An introduction to data representation synthesis

We consider the problem of specifying combinations of data structures with complex sharing in a manner that is declarative and results in provably correct code. In our approach, abstract data types are specified using relational algebra and functional dependencies. We describe a language of decompos...

Full description

Bibliographic Details
Main Authors: Hawkins, Peter, Rinard, Martin C, Aiken, Alex, Sagiv, Mooly, Fisher, Kathleen
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: Association for Computing Machinery (ACM) 2020
Subjects:
General Computer Science
Online Access:https://hdl.handle.net/1721.1/124647

Similar Items

Similar Items