Components and Generative Programming

http://www.scs.carleton.ca/~barbeau/Courses/SETP/Local/p2-czarnecki.pdf

With examples in C++ and a familiar metaphor as guide.  The paper notes correctly that C++ templates are a Turing-complete, compile-time language. Along those lines, view the side-by-side run-time/compile-time examples at

http://osl.iu.edu/~tveldhui/papers/Template-Metaprograms/meta-art.html

Quasi-related.
http://introspector.sourceforge.net/
http://www.aisto.com/roeder/ip/
http://www.omniscium.com/?page=IntentionalFaq

Addendum. http://www.research.att.com/sw/tools/graphviz/refs.html