LISP and Symbolic Computation, 8(3)267-285

Type Theory and Projections for Static Analysis

Clement A. Baker-Finch, Faculty of Information Sciences and Engineering, University of Canberra, A.C.T. 2616, Australia

Abstract: A system of annotated types is proposed as a means of describing and inferring static information, such as strictness and constancy, about functional programs. An abstract semantics is given in terms of projections. A close connection between annotated type assignment and projection analysis is demonstrated.

Keywords: static analysis, type theory, projection analysis

This article is not available online. 		[picture of journal cover]

May 2003 - hosc@brics.dk