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. September 2025 cover
    September 2025 Vol. 68 No. 9
  2. August 2025 cover
    August 2025 Vol. 68 No. 8
  3. July 2025 cover
    July 2025 Vol. 68 No. 7
  4. June 2025 CACM cover
    June 2025 Vol. 68 No. 6