Incremental overload resolution in object-oriented programming languages-Reference-Cited by-同舟云学术

Incremental overload resolution in object-oriented programming languages

Published:2018-07-16 Issue: Volume: Page:
ISSN:
Container-title:Companion Proceedings for the ISSTA/ECOOP 2018 Workshops
language:
Short-container-title:

Author:

Szabó Tamás¹,Kuci Edlira²,Bijman Matthijs³,Mezini Mira²,Erdweg Sebastian³

Affiliation:

1. Germany Delft University of Technology, Netherlands

2. Darmstadt University of Technology, Germany

3. Delft University of Technology, Netherlands

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3236454.3236485

Reference16 articles.

1. Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes

2. Pavel Avgustinov Oege de Moor Michael Peyton Jones and Max Schäfer. 2016. QL: Object-oriented Queries on Relational Data. In 30th European Conference on Object-Oriented Programming (ECOOP 2016) (Leibniz International Proceedings in Informatics (LIPIcs)) Shriram Krishnamurthi and Benjamin S. Lerner (Eds.) Vol. 56. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik Dagstuhl Germany 2:1--2:25. Pavel Avgustinov Oege de Moor Michael Peyton Jones and Max Schäfer. 2016. QL: Object-oriented Queries on Relational Data. In 30th European Conference on Object-Oriented Programming (ECOOP 2016) (Leibniz International Proceedings in Informatics (LIPIcs)) Shriram Krishnamurthi and Benjamin S. Lerner (Eds.) Vol. 56. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik Dagstuhl Germany 2:1--2:25.

3. Featherweight Java with dynamic and static overloading

4. What developers want and need from program analysis: an empirical study

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specializing Scope Graph Resolution Queries;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29

2. Incremental type-checking for free: using scope graphs to derive incremental type-checkers;Proceedings of the ACM on Programming Languages;2022-10-31

3. Concise, type-safe, and efficient structural diffing;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

4. A systematic approach to deriving incremental type checkers;Proceedings of the ACM on Programming Languages;2020-11-13