type graph model for java programs

FREE-DOWNLOAD A Rensink… – Formal Techniques for Distributed Systems, 2009 –
Abstract. In this work we present a type graph that models all exe- cutable constructs of the Java
programming language. Such a model is useful for any graph-based technique that relies on
a representation of Java programs as graphs. The model can be regarded as a common