Skip to main content
PRL Project

Dependence Analysis Through Type Inference

by Ozan Hafizogullari, Christoph Kreitz

Proceedings of Sixth Workshop on Logic, Language, Information and Computation (WoLLIC'99)

  • unofficial copies PDF, PS

We introduce a method for dependence analysis in typed functional programming languages. Our approach relies on a type system with simple subtypes for specifying dead code and a type inference algorithm for it. Through a careful seperation of the type system and the problem-specific assumptions we avoid ad hoc rules in the type system. This, combined with the fact that our approach makes the flow information in a program explicit and is based on well-understood concepts makes our approach a good candidate for a general framework for program analysis. Our technique can be used in optimizing compilers, optimization of programs extracted from theorem provers, optimization of modular systems, and software engineering.

bibTex ref: HK99

cite link