Dependence Analysis Through Type Inference.


Ozan Hafizogullari, Christoph Kreitz.

In Ruy J.G.B. de Queiroz & Walter A. Carnielli eds., 6th Workshop on Logic, Language, Information and Computation (WoLLIC'99), Rio de Janeiro, Brazil, May 1999, pp. 127-138.


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


BACK
Back to overview of papers


Bibtex Entry

@InProceedings{inp:HafizogullariKreitz99a, author = "Ozan Haf{\i}zo\~{g}ullar{\i} and Christoph Kreitz", title = "Dependence Analysis Through Type Inference", booktitle = "6th Workshop on Logic, Language, Information and Computation (WoLLIC'99)", year = "1999", editor = "Ruy J.G.B. de Queiroz & Walter A. Carnielli", pages = "127--138", address = "Rio de Janeiro, Brazil", month = "May ", }