# * Dependence Analysis Through Type Inference *

## by Ozan Hafizogullari, Christoph Kreitz

1999

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

**Abstract**

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