3 papers
cs.PL2025
Language-Parametric Reference Synthesis (Extended)
Daniel A. A. Pelsmaeker, Aron Zwaan, Casper Bach +1
Modern Integrated Development Environments (IDEs) offer automated refactorings to aid programmers in developing and maintaining software. However, implementing sound automated refa…
cs.PL2024
Defining Name Accessibility using Scope Graphs (Extended Edition)
Aron Zwaan, Casper Bach Poulsen
Many programming languages allow programmers to regulate accessibility; i.e., annotating a declaration with keywords such as export and private to indicate where it can be accessed…
cs.PL2022
Specializing Scope Graph Resolution Queries: Extended Edition
Aron Zwaan
To warrant programmer productivity, type checker results should be correct and available quickly. Correctness can be provided when a type checker implementation corresponds to a de…