Scope Graphs (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

A Monadic Framework for Name Resolution in Multi-phased Type CheckersCasper Bach Poulsen, Aron Zwaan, Paul Hübner. GPCE 2023: 14-28 [doi] [classification] 27 days ago

Incremental type-checking for free: using scope graphs to derive incremental type-checkersAron Zwaan, Hendrik van Antwerpen, Eelco Visser. PACMPL, 6(OOPSLA2):424-448, 2022. [doi] [classification] 9 months ago

Scope Graphs: The Story so FarAron Zwaan, Hendrik van Antwerpen. BIRTHDAY 2023: [doi] [classification] 9 months ago

Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. Zenodo, Oct 2020. [doi] [classification] 1 years ago

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specificationsArjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. PACMPL, 4(OOPSLA), 2020. [doi] [classification] 1 years ago

Scope States: Guarding Safety of Name Resolution in Parallel Type CheckersHendrik van Antwerpen, Eelco Visser. ECOOP 2021: [doi] [classification] 1 years ago

Scopes and Frames Improve Meta-Interpreter SpecializationVlad A. Vergu, Andrew P. Tolmach, Eelco Visser. ECOOP 2019: [doi] [classification] 4 years ago

Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser. ECOOP 2019: [doi] [classification] 4 years ago

Scoped Dynamic Rewrite RulesEelco Visser. ENTCS, 59(4):375-396, 2001. [doi] [classification] 5 years ago

Program Transformation with Scoped Dynamic Rewrite RulesMartin Bravenboer, Arthur van Dam, Karina Olmos, Eelco Visser. FUIN, 69(1-2):123-178, 2006. [doi] [classification] 5 years ago

Declarative Name Binding and Scope RulesGabriël Konat, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. SLE 2012: 311-331 [doi] [classification] 5 years ago

The Spoofax Name Binding LanguageGabriël Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser. In Companion to the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2012, Tucson, AR, USA, October 19 - 26, 2012. 2012: [doi] [classification] 5 years ago

A language generic solution for name binding preservation in refactoringsMaartje de Jonge, Eelco Visser. LDTA 2012: 2 [doi] [classification] 5 years ago

A Language Independent Task Engine for Incremental Name and Type AnalysisGuido Wachsmuth, Gabriël Konat, Vlad A. Vergu, Danny M. Groenewegen, Eelco Visser. SLE 2013: 260-280 [doi] [classification] 5 years ago

The semantics of name resolution in graceVlad A. Vergu, Michiel Haisma, Eelco Visser. DLS 2017: 63-74 [doi] [classification] 5 years ago

Intrinsically-typed definitional interpreters for imperative languagesCasper Bach Poulsen, Arjen Rouvoet, Andrew P. Tolmach, Robbert Krebbers, Eelco Visser. PACMPL, 2(POPL), 2018. [doi] [classification] 5 years ago

A Theory of Name ResolutionPierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. ESOP 2015: 205-231 [doi] [classification] 5 years ago

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. darts, 2(1), 2016. [doi] [classification] 5 years ago

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic SemanticsCasper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. ECOOP 2016: [doi] [classification] 5 years ago

Language-Independent Type-Dependent Name ResolutionHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-006, 2015. [classification] 5 years ago

A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-009, 2015. [classification] 5 years ago

A constraint language for static semantic analysis based on scope graphsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. PEPM 2016: 49-60 [doi] [classification] 5 years ago

A Constraint-based Approach to Name Binding and Type Checking using Scope GraphsHendrik van Antwerpen. Master's thesis, Delft University of Technology, January 2016. [classification] 5 years ago

Scopes as typesHendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser. PACMPL, 2(OOPSLA), 2018. [doi] [classification] 5 years ago

runs on WebDSL