BibTeX
@TECHREPORT{Veldhuizen03c++templates,
author = {Todd L. Veldhuizen},
title = {C++ Templates are Turing Complete},
institution = {},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We sketch a proof of a well-known folk theorem that C++ templates are Turing complete. The absence of a formal semantics for C++ template instantiation makes a rigorous proof unlikely.
Citations
| 255 | C.: Elements of the Theory of Computation - Lewis, Papadimitriou - 1981 |
| 9 | Prime number computation - Unruh |
| 2 | Working Paper for Draft Proposed International Standard for Information Systems{ Programming Language C - ANSIISO - 1995 |
