S. Porat, M. Biberstein, L. Koved, and B. Mendelson. Automatic detection of immutable fields in Java. In CASCON, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Immutability Specification and its Applications - Pechtchanski, Sarkar (2002) (4 citations) (Correct)
....out of bounds accesses. Our framework includes a three stage approach for verification of immutability properties. The focus of verification is on write operations, since immutability properties can only be invalidated by write operations: 1. Ahead of time static analysis: an approach such as [20] is used to identify fields that are guaranteed to be immutable, i.e. fields that can be considered to be final after being initialized. The static analysis can be performed with either closed world or openworld assumptions. All write operations on immutable fields can be ignored in Stages 2 and ....
....discussed in this paper. The C pragma feature [15] is a notable mechanism for providing source level annotations. Source code annotations were also used heavily in previous work on dynamic compilation, e.g. 11] Past work on static analysis and detection of immutability properties (e.g. [20]) is relevant to our framework in two important ways. First, as discussed in Section 3.3, static analysis can be used as the first stage of verification of immutability properties. Second, immutability assertions can be used to improve the results of static analysis. Finally, there has been ....
S. Porat, M. Biberstein, L. Koved, and B. Mendelson. Automatic detection of immutable fields in Java. In Proceedings of CASCON 2000.
UML-based Alias Control - Liu, Milanova (Correct)
No context found.
S. Porat, M. Biberstein, L. Koved, and B. Mendelson. Automatic detection of immutable fields in Java. In CASCON, 2000.
Strength Reduction for Loop-Invariant Types - Phung Hua Nguyen (Correct)
No context found.
Porat, S., Biberstein, M., Koved, L. & Mendelson, B. (2000), Automatic detection of immutable fields in Java, in `Proceedings of CASCON 2000'.
A Practical Type System and Language for Reference Immutability - Birka, Ernst (2004) (1 citation) (Correct)
No context found.
S. Porat, M. Biberstein, L. Koved, and B. Mendelson. Automatic detection of immutable fields in Java. In CASCON, Mississauga, Ontario, Canada, Nov. 13--16, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC