|
|
|
|
Compile-time Computation of Polytime Functions
|
|
|
|
|
|
|
|
نویسنده
|
Covino Emanuele ,Pani Giovanni ,Scrimieri Daniele
|
|
منبع
|
journal of universal computer science - 2007 - دوره : 13 - شماره : 4 - صفحه:468 -478
|
|
چکیده
|
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
|
|
کلیدواژه
|
Static computation ,C++ templates ,polytime computable functions.
|
|
آدرس
|
Universita di Bari, Dipartimento di Informatica, Italy, Universita di Bari, Dipartimento di Informatica, Italy, Universita di Bari, Dipartimento di Informatica, Italy
|
|
پست الکترونیکی
|
scrimieri@di.uniba.it
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|