Call graph - Type Inference

by Santiago Bragagnolo for ESUG (European Smalltalk User Group)

  Enhance Francisco Garau's implementation of Concrete Type Inference to analize complex expressions.     Make a full queriable call graph from a given expression, with several categories of data per method such as: Entry and output types, related bytecode, variables that potentialy change if you run the expression, etc.