Dependence Analysis Through Type Inference
by Ozan Hafizogullari, Christoph Kreitz
Proceedings of Sixth Workshop on Logic, Language, Information and Computation (WoLLIC'99)
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