Communications of the ACM
Research Archive
The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
December 2012
From Communications of the ACM
Technical Perspective: High-Level Data Structures
This lifting of data structure thinking to the relational level has long inspired computer scientists. In "An Introduction to Data Representation Synthesis," the authors aim at elevating data structure programming to the relational…
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.
From Communications of the ACM
Natural Algorithms and Influence Systems
Algorithms lay the grounds for numerical simulations and, crucially, provide a powerful framework for their analysis. The new area of natural algorithms may reprise in the life sciences the role differential equations have long…
From Communications of the ACM
Technical Perspective: Natural Algorithms in a Networked World
How do birds flock and fish school? How do individuals in a social network reach agreement, even though they are often only influenced by other like-minded individuals? How can one engineer a swarm of robots to behave like…