Sound Rejects all type-invalid programs Type checking Java © Marcelo d'Amorim 2010 void m(Object o) { if (s instanceof String) { s.indexOf( . ); } void m(Thread t) {… t.remove(); } InComplete Rejects few type-valid programs
{}