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. February 2025 cover
    February 2025 Vol. 68 No. 2
  2. January 2025 cover
    January 2025 Vol. 68 No. 1
  3. December 2024 CACM cover
    December 2024 Vol. 67 No. 12
  4. November 2024 CACM cover
    November 2024 Vol. 67 No. 11