Affiliation:
1. Delft University of Technology, Netherlands
Funder
Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. OIL: an industrial case study in language engineering with Spoofax;Software and Systems Modeling;2024-06-03
2. A Monadic Framework for Name Resolution in Multi-phased Type Checkers;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22
3. Verifying Well-Typedness Preservation of Refactorings using Scope Graphs;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18
4. Specializing Scope Graph Resolution Queries;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29
5. Incremental type-checking for free: using scope graphs to derive incremental type-checkers;Proceedings of the ACM on Programming Languages;2022-10-31