Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 4

available in:   PDF (97 kB) PS (107 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-04-0468


Compile-time Computation of Polytime Functions

Emanuele Covino (Università di Bari, Italy)

Giovanni Pani (Università di Bari, Italy)

Daniele Scrimieri (Università di Bari, Italy)

Abstract: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechanism to de¯ne primitive recursion, composition, and minimalization. We show that polynomial time computable functions can be computed at compile-time using the same mechanism, together with template specialization.

Keywords: C++ templates, polytime computable functions, static computation

Categories: D.3, F.1.3