10 citations · 10 across the 3 of their papers we have counts for
4 papers
Dynamic Multilevel Graph Visualization
Todd L. Veldhuizen
We adapt multilevel, force-directed graph layout techniques to visualizing dynamic graphs in which vertices and edges are added and removed in an online fashion (i.e., unpredictabl…
Parsimony Principles for Software Components and Metalanguages
Todd L. Veldhuizen
Software is a communication system. The usual topic of communication is program behavior, as encoded by programs. Domain-specific libraries are codebooks, domain-specific languages…
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…
C++ Templates as Partial Evaluation
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…