Type Inference and Static Analysis for Object-Oriented Software

Jens Palsberg

We are developing type inference, type matching, and flow analysis algorithms for object-oriented software which are practically useful for tool developers and language designers. We are also investigating the relationship between types and flow information, and ways of combining them. The benefits include easier correctness proofs and faster flow analyses without sacrifice of precision. Additionally, several program transformations preserve a certain flow analysis.

The project has been supported by a National Science Foundation CAREER Award.


Papers on Type Inference

Papers on Flow Analysis

Papers on relating Types and Flow Information

Papers on Type Matching