'Reference immutability' presentation slideshows

ReIm & ReImInfer : Checking and Inference of Reference Immutability and Method Purity

ReIm & ReImInfer : Checking and Inference of Reference Immutability and Method Purity. Wei Huang 1 , Ana Milanova 1 , Werner Dietl 2 , Michael D. Ernst 2 1 Rensselaer Polytechnic Institute 2 University of Washington. Reference Immutability. md. rd. Mutable D ate.

519 views • 51 slides

User-defined type checkers for error detection and prevention in Java

User-defined type checkers for error detection and prevention in Java. Michael D. Ernst MIT Computer Science & AI Lab http://pag.csail.mit.edu/jsr308/. Code without type qualifiers. class DAG { Set<Edge> edges; // ... List<Vertex> getNeighbors( Vertex v) {

365 views • 25 slides

Object and Reference Immutability using Java Generics

Object and Reference Immutability using Java Generics. Yoav Zibin(1), Alex Potanin(2), Shay Artzi(1), Adam Kiezun(1), and Michael D. Ernst(1) 1) MIT Computer Science and Artificial Intelligence Lab, USA 2) Victoria University of Wellington, New-Zealand

242 views • 23 slides

Object and Reference Immutability using Java Generics

243 views • 22 slides