文件名称：C++ Templates are Turing Complete
文件大小：119KB
文件格式：PDF
更新时间：2012-07-27 20:36:25
C++ Templates Turing Complete
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.