Sign In

Communications of the ACM

Research Archive


Archives

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

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

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.

Read CACM in a free mobile app!
Access the latest issue, plus archived issues and more
ACM Logo
  • ACM CACM apps available for iPad, iPhone and iPod Touch, and Android platforms
  • ACM Digital Library apps available for iOS, Android, and Windows devices
  • Download an app and sign in to it with your ACM Web Account
Find the app for your mobile device
ACM DL Logo