Yanlin Wang, Haoyuan Zhang, Bruno C. D. S. Oliveira, Marco Servetto. FHJ: A Formal Model for Hierarchical Dispatching and Overriding. In Todd D. Millstein, editor, 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands. Volume 109 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Abstract is missing.