EasyChair Smart Slide
A syntactic model of mutation and aliasing
A syntactic model of mutation and aliasing