A constraint language for static semantic analysis based on scope graphs H Antwerpen, P Néron, A Tolmach, E Visser, G Wachsmuth Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016 | 45 | 2016 |
Scopes as types H van Antwerpen, C Bach Poulsen, A Rouvoet, E Visser Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018 | 26 | 2018 |
Towards language-parametric semantic editor services based on declarative type system specifications DAA Pelsmaeker, H Van Antwerpen, E Visser Proceedings Companion of the 2019 ACM SIGPLAN International Conference on …, 2019 | 6 | 2019 |
Dynamic data-driven experiments in the smart grid domain with a multi-agent platform Z Genç, M Oey, H Antwerpen, F Brazier International Workshop on Multi-Agent Systems and Agent-Based Simulation …, 2015 | 5 | 2015 |
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications A Rouvoet, H Van Antwerpen, C Bach Poulsen, R Krebbers, E Visser Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 3 | 2020 |
From definitional interpreter to symbolic executor AD Mensing, H Van Antwerpen, C Bach Poulsen, E Visser Proceedings of the 4th ACM SIGPLAN International Workshop on Meta …, 2019 | 3 | 2019 |
A constraint language for static semantic analysis based on scope graphs with proofs H van Antwerpen, P Néron, AP Tolmach, E Visser, G Wachsmuth Technical Report TUD-SERG-2015-012, Software Engineering Research Group …, 2016 | 1 | 2016 |
Language-parametric static semantic code completion DAA Pelsmaeker, H van Antwerpen, CB Poulsen, E Visser Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022 | | 2022 |
Scope States (Artifact) H van Antwerpen, E Visser Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021 | | 2021 |
Scope states: Guarding safety of name resolution in parallel type checkers H Van Antwerpen, E Visser 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021 | | 2021 |
A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs H Van Antwerpen | | 2016 |
Language-Independent Type-Dependent Name Resolution H Van Antwerpen, P Neron, A Tolmach, E Visser, G Wachsmuth Report TD-SERG-2015-006, 2015 | | 2015 |