Nested Scopes is a symbol table organization principle in programming language semantics where lexical environments are hierarchically structured such that inner scopes, representing narrower declaration regions, inherit visibility of identifiers from outer, more encompassing scopes while allowing for local redefinition and controlled identifier resolution.
11
Publications
617
Citations
26
Authors
12
Institutions
Publications per year
2017–2026
3
Parents
Publications
11
Prefixed tableaus and nested sequents
Melvin Fitting · Annals of Pure and Applied Logic · 2011 · 59 citations
1–5 of 11
Authors
26
- VJ
1
h-index
- YB
1
h-index
- PZ
1
h-index
- SL
1
h-index
- WN
1
h-index
1–5 of 26
Institutions
12
University of Toronto
Toronto, Canada
1 h-index
1 publications
10 citations
Lehman College
New York, United States
1 h-index
1 publications
59 citations
University of Waterloo
Waterloo, Canada
1 h-index
1 publications
19 citations
Bucknell University
Lewisburg, United States
1 h-index
1 publications
73 citations
University of California, Davis
Davis, United States
1 h-index
2 publications
594 citations
University of Michigan
Ann Arbor, United States
1 h-index
4 publications
76 citations
University of California, Berkeley
Berkeley, United States
1 h-index
3 publications
33 citations
Macquarie University
Sydney, Australia
1 h-index
2 publications
140 citations
1–8 of 12
Venues
- ACM SIGCSE Bulletin
1 publications · 14 citations
1
h-index
- Linguistik aktuell
Book series · 1 publications · 18 citations
1
h-index
- Computing in Science & Engineering
1 publications · 19 citations
1
h-index
- Lingua
1 publications · 70 citations
1
h-index
- Natural Language & Linguistic Theory
1 publications · 73 citations
1
h-index
1–5