June 2012 - Vol. 55 No. 6

June 2012 issue cover image

Features

Opinion Letters to the editor

The Halting Problem in the Clear Light of Probability

"Turing's Titanic Machine?" considered Alan Turing's contributions to computability theory, concentrating on the halting problem; that is, decide whether a given program will stop or continue indefinitely. The fact that in general no one can know makes it undecidable.
Research and Advances Research highlights

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Good software engineering practice demands generalization and abstraction, whereas high performance demands specialization and concretization. These goals are at odds, and compilers only rarely translate expressive high-level programs to modern hardware platforms. Generative programming is a promising alternative.

Recent Issues

  1. November 2024 CACM cover
    November 2024 Vol. 67 No. 11
  2. October 2024 CACM cover
    October 2024 Vol. 67 No. 10
  3. September 2024 CACM cover
    September 2024 Vol. 67 No. 9
  4. August 2024 CACM cover
    August 2024 Vol. 67 No. 8