Browsing Engineering (Faculty of) by Subject "dynamic analysis"
Now showing items 1-1 of 1
-
Enforcing Abstract Immutability
(University of Waterloo, 2018-08-01)Researchers have recently proposed a number of systems for expressing, verifying, and inferring immutability declarations. These systems are often rigid, and do not support "abstract immutability". An abstractly immutable ...