Browsing Open Access Repositories by Subject "type system"
Now showing items 1-1 of 1
-
Javari: Adding Reference Immutability to Java
(2006-09-05)This paper describes a programming language, Javari, that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable ...