@InProceedings{wang_et_al:LIPIcs.ECOOP.2018.20, author = {Wang, Yanlin and Zhang, Haoyuan and Oliveira, Bruno C. d. S. and Servetto, Marco}, title = {{FHJ: A Formal Model for Hierarchical Dispatching and Overriding}}, booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)}, pages = {20:1--20:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-079-8}, ISSN = {1868-8969}, year = {2018}, volume = {109}, editor = {Millstein, Todd}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.20}, URN = {urn:nbn:de:0030-drops-92259}, doi = {10.4230/LIPIcs.ECOOP.2018.20}, annote = {Keywords: multiple inheritance, hierarchical dispatching, OOP, language design} }