Yossi Gil, Tomer Levy: Formal Language Recognition with the Java Type Checker. ECOOP 2016: 10:1-10:27