A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract)
Title | A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract) |
Publication Type | Journal Articles |
Year of Publication | 2005 |
Authors | Skalka C, Smith S, Van Horn D |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 131 |
Pagination | 111 - 124 |
Date Published | 2005/05/24/ |
ISBN Number | 1571-0661 |
Keywords | language 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. |
URL | http://www.sciencedirect.com/science/article/pii/S1571066105002628 |
Short Title | Electronic Notes in Theoretical Computer Science |