A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract)

TitleA Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract)
Publication TypeJournal Articles
Year of Publication2005
AuthorsSkalka C, Smith S, Van Horn D
JournalElectronic Notes in Theoretical Computer Science
Volume131
Pagination111 - 124
Date Published2005/05/24/
ISBN Number1571-0661
Keywordslanguage security, object oriented languages, Type analysis
Abstract

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.

URLhttp://www.sciencedirect.com/science/article/pii/S1571066105002628
Short TitleElectronic Notes in Theoretical Computer Science