A Type and Effect System for Flexible Abstract Interpretation of Java.
Christian Skalka, Scott Smith, and David Van Horn.
In Proceedings of the ACM Workshop on Abstract Interpretations of Object-Oriented Programs, Electronic Notes in Theoretical Computer Science, Volume 131. January 2005.

PDF ]

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 program 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.

@INPROCEEDINGS{skalka-smith-vanhorn-aiool05,
  AUTHOR = {Christian Skalka and Scott Smith and David {Van Horn}},
  TITLE = {A Type and Effect System for Flexible Abstract Interpretation of Java},
  BOOKTITLE = {Proceedings of the ACM Workshop on Abstract Interpretation of Object Oriented Languages},
  YEAR = 2005,
  SERIES = {Electronic Notes in Theoretical Computer Science},
  MONTH = {January},
  PDF = {http://www.cs.uvm.edu/~skalka/skalka-pubs/skalka-smith-vanhorn-aiool05.pdf}
}