Documents Detecting and preventing bugs with pluggable type-checking

Dia 1 Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Werner Dietl, and many others http://types.cs.washington.edu/jsr308…

Documents Detecting and preventing bugs with pluggable type-checking

Dia 1 Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali http://types.cs.washington.edu/jsr308…

Documents Preventing bugs with pluggable type checking

Preventing bugs with pluggable type checking Preventing bugs with pluggable type checking Michael D. Ernst University of Washington http://types.cs.washington.edu/jsr308…

Documents Detecting and preventing bugs with pluggable type-checking

Dia 1 Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali http://types.cs.washington.edu/jsr308…