The computational power of compiling C++

Martin Böhme, Bodo Manthey

Research output: Contribution to journalArticleAcademicpeer-review

20 Downloads (Pure)

Abstract

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
Volume81
Publication statusPublished - 2003

Keywords

  • IR-79409
  • EWI-21251

Cite this