Formal Language Recognition with the Java Type Checker

Yossi Gil, Tomer Levy. Formal Language Recognition with the Java Type Checker. In Shriram Krishnamurthi, Benjamin S. Lerner, editors, 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. Volume 56 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Yossi Gil

This author has not been identified. Look up 'Yossi Gil' in Google

Tomer Levy

This author has not been identified. Look up 'Tomer Levy' in Google