*Result*: 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)
Authors:
Skalka, Christian1 skalka@cs.uvm.edu, Smith, Scott2 scott@cs.jhu.edu, Van Horn, David1 dvanhorn@cs.uvm.edu
Source:
ENTCS: Electronic Notes in Theoretical Computer Science. May2005, Vol. 131, p111-124. 14p.
Subject Terms:
Database:
Supplemental Index
*Further Information*
*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. [Copyright &y& Elsevier]*