Compile-time Computation of Polytime Functions
| dc.creator | Covino,Emanuele | |
| dc.creator | Pani,Giovanni | |
| dc.creator | Scrimieri,Daniele | |
| dc.date | 2007 | |
| dc.date.accessioned | 2024-02-06T12:55:18Z | |
| dc.date.available | 2024-02-06T12:55:18Z | |
| dc.description | 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. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-013-04-0468 | |
| dc.identifier | https://lib.jucs.org/article/28768/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9314 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 13(4): 468-478 | |
| dc.subject | static computation | |
| dc.subject | C++ templates | |
| dc.subject | polytime computable functions | |
| dc.title | Compile-time Computation of Polytime Functions | |
| dc.type | Research Article |