Dynamic Alias Protection with Aliasing Contracts


Dynamic Alias Protection with Aliasing Contracts is a scholarly work by Alan Mycroft, published in 2013 in ''Lecture Notes in Computer Science''. The main subjects of the publication include computer science, Java, scheme, -, debugging, program analysis, alias, object, programming language, aliasing, and Android. The authors introduce aliasing contracts: a novel, dynamic alias protection scheme which is highly flexible.

Related Works