Language-agnostic program rendering for presentation, debugging and visualization

We describe a language-independent and specification-driven program rendering tool that is able to produce high-quality code renderings of arbitrary complexity. The tool can incorporate arbitrary types of information together with the program code, allowing it to be used for debugging and profiling as well as for producing beautiful renderings of programs for publications. We also present a model for the rendering of programs and apply it to the design of a rendering of Java control flow