Formalizing Access Modifiers using Scope Graphs: Ongoing Research Talk
Aron Zwaan
Date: Wed, May 10, 2023
Time: 12:00
Room: Turing 0.E420
In this talk, I will present my ongoing research about modelling access modifiers (typically used for encapsulation in object-oriented languages) using scope graphs. We will discuss the following visibility modifiers
- Public access
- Subclass-only access (
protected
) - Package-only access (
internal
) - Private access
on both declarations and class extensions. We will explore how these interact, and how to model them using scope graphs.
Previous:
Jonathan Brouwer | Dependently Typed Languages in Statix
Next:
| An evaluation of algorithms for conversion checking