%0 Journal Article %J Electronic Notes in Theoretical Computer Science %D 2005 %T A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract) %A Skalka, Christian %A Smith, Scott %A David Van Horn %K language security %K object oriented languages %K Type analysis %X This paper describes a flexible type and effect inference system for Featherweight Java (FJ). The effect terms generated by static type and effect inference embody the abstract interpretation of pro- gram event sequences. Flexibility in the analysis is obtained by post-processing of inferred effects, allowing a modular adaptation to extensions of the language. Several example transformations are discussed, including how inferred effects can be transformed to reflect the impact of exceptions on FJ control flow. %B Electronic Notes in Theoretical Computer Science %V 131 %P 111 - 124 %8 2005/05/24/ %@ 1571-0661 %G eng %U http://www.sciencedirect.com/science/article/pii/S1571066105002628 %! Electronic Notes in Theoretical Computer Science