BUCKLEY ALEXANDER

System and method for inferring immutability of program variables