@article {19581,
	title = {A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract)},
	journal = {Electronic Notes in Theoretical Computer Science},
	volume = {131},
	year = {2005},
	month = {2005/05/24/},
	pages = {111 - 124},
	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.},
	keywords = {language security, object oriented languages, Type analysis},
	isbn = {1571-0661},
	url = {http://www.sciencedirect.com/science/article/pii/S1571066105002628},
	author = {Skalka, Christian and Smith, Scott and David Van Horn}
}
