120 citations · 269 across the 10 of their papers we have counts for
Showing 2005Show all
3 papers · 1 filter
cs.PL2005
Tradeoffs in Metaprogramming
Todd L. Veldhuizen
The design of metaprogramming languages requires appreciation of the tradeoffs that exist between important language characteristics such as safety properties, expressive power, an…
cs.SE2005★ 21 cited
Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf's Law
Todd L. Veldhuizen
We analyze software reuse from the perspective of information theory and Kolmogorov complexity, assessing our ability to ``compress'' programs by expressing them in terms of softwa…
cs.PL2005
Language embeddings that preserve staging and safety
Todd L. Veldhuizen
We study embeddings of programming languages into one another that preserve what reductions take place at compile-time, i.e., staging. A certain condition -- what we call a `Turing…