C++ Templates as Partial Evaluation

  title={C++ Templates as Partial Evaluation},
  author={Todd L. Veldhuizen},
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming, but unintentionally provided the ability to perform compile-time computations and code generation. These features are completely accidental, and as a result their syntax is awkward. By recasting these features in terms of partial evaluation, a much simpler syntax can be achieved. C++ may be regarded as a two-level language in which types are first-class… CONTINUE READING
Highly Cited
This paper has 76 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 54 extracted citations

Intel's Array Building Blocks: A retargetable, dynamic compiler and embedded language

International Symposium on Code Generation and Optimization (CGO 2011) • 2011
View 3 Excerpts
Highly Influenced

Automatic program specialization for Java

ACM Trans. Program. Lang. Syst. • 2003
View 3 Excerpts
Highly Influenced

A Framework for Lattice QCD Calculations on GPUs

2014 IEEE 28th International Parallel and Distributed Processing Symposium • 2014
View 2 Excerpts

Micro-Specialization in DBMSes

2012 IEEE 28th International Conference on Data Engineering • 2012
View 1 Excerpt

77 Citations

Citations per Year
Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 29 references

Linear algebra with C + + template metaprograms , Dr

K. Ponnambalam
Expression templates , C + + Report Stanley Lippman . [ 20 ] , Using C + + template metaprograms , C + + Report Stanley Lippman . [ 21 ] , Arrays in Blitz + + , in ISCOPE ’ 98 , vol . 1505 of Lecture Notes in Computer Science • 1998


K. Czarnecki, U. Eisenecker
Gl uck, D. Vandevoorde, and T. L. Veldhuizen, Generative Programming and Active Libraries, in Proceedings of the 1998 Dagstuhl-Seminar on Generic Programming, vol. TBA of Lecture Notes in Computer Science • 1998

and T

S. Karmesin, J. Crotinger, +4 authors S. Smith
Williams, Array design and expression evaluation in POOMA II, in ISCOPE'98, vol. 1505, Springer-Verlag • 1998
View 2 Excerpts

Similar Papers

Loading similar papers…