Communications of the ACM
Research Archive
The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
August 2012
From Communications of the ACM
Spreadsheet Data Manipulation Using Examples
Millions of computer end users need to perform tasks over large spreadsheet data, yet lack the programming knowledge to do such tasks automatically. We present a methodology that allows end users to automate such repetitive tasks…
From Communications of the ACM
Continuity and Robustness of Programs
Computer scientists have long believed that software is different from physical systems in one fundamental way: while the latter have continuous dynamics, the former do not. In this paper, we argue that notions of continuity …
From Communications of the ACM
Technical Perspective: Example-Driven Program Synthesis For End-User Programming
As information technology has come to permeate our society, broader classes of users have developed the need for more sophisticated data manipulation and processing. The following paper focuses on an important emerging area…
From Communications of the ACM
Technical Perspective: Proving Programs Continuous
Proving a program's correctness is usually an all-or-nothing game.