Formal Language Recognition with the Java Type Checker.

Yossi Gil, Tomer Levy

Browse the full ECOOP paper archive.