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.
|
 |
Sealing, Encapsulation, and Mutablility
| |
|
Sealing, Encapsulation, and Mutablility
Marina Biberstein5 , Joseph (Yossi) Gil6 and Sara Porat5 
| (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.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|