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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 55; no. 12; pp. 91 - 100
Autores principales:	Hawkins, Peter, Rinard, Martin, Aiken, Alex, Sagiv, Mooly, Fisher, Kathleen
Formato:	Artículo
Publicado:	Association for Computing Machinery Dec2012
Materias:	Data structures Abstract data types (Computer science) Relation algebras Functional dependencies Workload of computer networks Computer science Computer programming
Acceso en línea:	Ver este registro en EBSCOhost