Dynamic Alias Protection with Aliasing Contracts.

Janina Voigt, Alan Mycroft

Browse the full APLAS paper archive.