Concrete Type Inference -- Call graph

• Description
• Proposal

(Student proposal by Santiago Bragagnolo)

Description

     Enhance Francisco Garau's implementation of Concrete Type Inference to analize complex expressions.

    Make a full queriable call graph from a given expression.

Technical Details

    Runtime emulation, algorithm implementation enhancement.

Benefits to the Student

• Learn about type inference

• Learn about runtime emulation

• Learn about VM execution

Benefits to the Community

• Get a queriable call graph that can be used to make

  • Performance optimization like:

    • Inline bytecode compilation

    • JIT Compiling from a graph of methods

  • Code organization

    • Dependencies analisis

  • Program behavior analisis

    • Automatic dynamic diagrams (Like sequence diagram)

  • Automatizations

    • Magritte descriptions

    • Stress Test