Cover Image
QR Code

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

Published in:Communications of the ACM Vol. 55; no. 12; pp. 91 - 100
Main Authors: Hawkins, Peter, Rinard, Martin, Aiken, Alex, Sagiv, Mooly, Fisher, Kathleen
Format: Article
Published: Association for Computing Machinery Dec2012
Subjects:
Data structures
Abstract data types (Computer science)
Relation algebras
Functional dependencies
Workload of computer networks
Computer science
Computer programming
Online Access:View this record in EBSCOhost