acm-header
Sign In

Communications of the ACM

Latest Research


Latest Research Research Archive Refine your search:
dateMore Than a Year Ago
subjectPersonal Computing
author Alex Aiken

An Introduction to Data Representation Synthesis
From Communications of the ACM

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.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account