The computational power of compiling C++

Martin Böhme, Bodo Manthey

Research output: Contribution to journalArticleAcademicpeer-review

17 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

@article{5f9136b2d6dd4b4b9bc4e01557b53503,
title = "The computational power of compiling C++",
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.",
keywords = "IR-79409, EWI-21251",
author = "Martin B{\"o}hme and Bodo Manthey",
year = "2003",
language = "Undefined",
volume = "81",
pages = "264--270",
journal = "Bulletin of the European Association for Theoretical Computer Science",
issn = "0252-9742",
publisher = "European Association for Theoretical Computer Science",

}

The computational power of compiling C++. / Böhme, Martin; Manthey, Bodo.

In: Bulletin of the European Association for Theoretical Computer Science, Vol. 81, 2003, p. 264-270.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - The computational power of compiling C++

AU - Böhme, Martin

AU - Manthey, Bodo

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

KW - IR-79409

KW - EWI-21251

M3 - Article

VL - 81

SP - 264

EP - 270

JO - Bulletin of the European Association for Theoretical Computer Science

JF - Bulletin of the European Association for Theoretical Computer Science

SN - 0252-9742

ER -