The computational power of compiling C++

Martin Böhme, Bodo Manthey

Research output: Contribution to journalArticleAcademicpeer-review

23 Downloads (Pure)


Using a C++ compiler, any partial recursive function can be computed at compile time. We show this by using the C++ template mechanism to define functions via primitive recursion, composition, and μ-recursion.
Original languageUndefined
Pages (from-to)264-270
Number of pages7
JournalBulletin of the European Association for Theoretical Computer Science
Publication statusPublished - 2003


  • IR-79409
  • EWI-21251

Cite this