We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which are writes to an object's state while it is being constructed, and quiescing fields, which are fields that are never written after an object is constructed. We also present a novel taxonomy of degrees of method purity in object-oriented programs, which characterizes methods whose effects are confined to their receiver object. Finally, we find significant amounts of mostly-functional behavior in realistic Java programs: in the benchmarks we analyzed, between 48-53% of declared fields were identifiable as quiescing and between 24-78% of dynamic field reads were from quiescing fields. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Benton, W. C., & Fischer, C. N. (2009). Mostly-functional behavior in Java programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5403 LNCS, pp. 29–43). https://doi.org/10.1007/978-3-540-93900-9_7
Mendeley helps you to discover research relevant for your work.