Sciweavers

Share
JUCS
2007

Compile-time Computation of Polytime Functions

11 years 9 months ago
Compile-time Computation of Polytime Functions
: 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 define 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. Key Words: Static computation, C++ templates, polytime computable functions.
Emanuele Covino, Giovanni Pani, Daniele Scrimieri
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where JUCS
Authors Emanuele Covino, Giovanni Pani, Daniele Scrimieri
Comments (0)
books