I. Pechtchanski and V. Sarkar. Immutability specification and its applications. In In Joint ACM-ISCOPE Java Grande Conference, pages 202--211, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
UML-based Alias Control - Liu, Milanova (Correct)
No context found.
I. Pechtchanski and V. Sarkar. Immutability specification and its applications. In In Joint ACM-ISCOPE Java Grande Conference, pages 202--211, 2002.
Strength Reduction for Loop-Invariant Types - Phung Hua Nguyen (Correct)
No context found.
Pechtchanski, I. & Sarkar, V. (2002), Immutability specification and its applications, in `Joint ACM Java Grande-ISCOPE 2002 Conference', Seatle, Washington, USA.
Elimination of Java Array Bounds Checks in the Presence of.. - Lujan, Gurd, al. (2004) (3 citations) (Correct)
No context found.
I. Pechtchanski and V. Sarkar. Immutability specification and its applications. In Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, pages 202--211, 2002.
A Practical Type System and Language for Reference Immutability - Birka, Ernst (2004) (1 citation) (Correct)
No context found.
I. Pechtchanski and V. Sarkar. Immutability specification and its applications. In Joint ACM-ISCOPE Java Grande Conference, pages 202--211, Seattle, WA, Nov. 3--5, 2002.
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