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 language | Undefined |
|---|---|
| Pages (from-to) | 264-270 |
| Number of pages | 7 |
| Journal | Bulletin of the European Association for Theoretical Computer Science |
| Volume | 81 |
| Publication status | Published - 2003 |
Keywords
- IR-79409
- EWI-21251
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver