FHJ: A Formal Model for Hierarchical Dispatching and Overriding

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]

Authors

Yanlin Wang

This author has not been identified. Look up 'Yanlin Wang' in Google

Haoyuan Zhang

This author has not been identified. Look up 'Haoyuan Zhang' in Google

Bruno C. D. S. Oliveira

This author has not been identified. It may be one of the following persons: Look up 'Bruno C. D. S. Oliveira' in Google

Marco Servetto

This author has not been identified. Look up 'Marco Servetto' in Google