Raw, Pickled and Textured Static Side-Effect Analysis in FX-87

Designers of optimizing compilers have long been stymied by first-class procedures where recursion and side-effects are permitted. So severe is the problem that most research in this area has focused on languages which do not support these features, such as FORTRAN. Lucassen and Gifford introduced polymorphic effect systems to alleviate this problem. However, their approach has been shown to suffer a couple shortcomings [Harrison 89, p.364]. I remedy these problems by developing a more aggressive polymorphic region-based effect system based on an intuitive notion of subtypes-as-subsets but augmented with several views of the semantics of region-based effects. A kernel language, -T REK, with a polymorphic regionbased effect system is introduced. Using it as a framework, four different views of region-based effects are developed and used to attack four aspects of providing an effective and efficient region-based effect system. Specifically, region-based effects are viewed as annotating ..