Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Sealing, Encapsulation, and Mutablility

Marina BibersteinContact Information, Joseph (Yossi) GilContact Information and Sara PoratContact Information

(5)  IBM Research Lab in Haifa, Advanced Technology Center, Haifa, 31905, Israel
(6)  Technion — Israel Institute of Technology, Haifa, 32000, Israel
Astract
Both encapsulation and immutability are important mechanisms, that support good software engineering practice. Encapsulation protects a variable against all kinds of access attempts from certain sections of the program. Immutability protects a variable only against write access attempts, irrespective of the program region from which these attempts are made. Taking mostly an empirical approach, we study these concepts and their interaction in JAVA.We propose code analysis techniques, which, using the new sealing information, can help to identify variables as encapsulated, immutable, or both.
Work done in part while with IBM Research Lab in Haifa.

Contact Information Marina Biberstein
Email: biberstein@il.ibm.com

Contact Information Joseph (Yossi) Gil
Email: yogi@cs.technion.ac.il

Contact Information Sara Porat
Email: porat@il.ibm.com
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb17
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)