Beyond static and dynamic scope

@inproceedings{Tanter2009BeyondSA,
  title={Beyond static and dynamic scope},
  author={{\'E}ric Tanter},
  booktitle={DLS},
  year={2009}
}
Traditional treatment of scoping in programming languages considers two opposite semantics: static scoping, where the scope of a binding is a block of program text, and dynamic scoping, where a binding is in effect during the whole reduction of an expression to a value. Static scoping and dynamic scoping are however but two points in the design space of scoping mechanisms. As a result, most proposed language mechanisms that rely on some notion of scoping, such as variable bindings of course… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 21 extracted citations

Aspectizing Java Access Control

IEEE Transactions on Software Engineering • 2012
View 4 Excerpts
Highly Influenced

Scoping strategies for distributed aspects

View 5 Excerpts
Highly Influenced

Type safe incremental rebinding

Mathematical Structures in Computer Science • 2017
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 10 references

An Overview of CaesarJ

Trans. Aspect-Oriented Software Development I • 2006
View 4 Excerpts
Highly Influenced

Expressive scoping of dynamically-deployed aspects

AOSD • 2008
View 5 Excerpts
Highly Influenced

A Syntactic Theory of Dynamic Binding

TAPSOFT • 1997
View 7 Excerpts
Highly Influenced

The Theory and Practice of First-Class Prompts

POPL • 1988
View 5 Excerpts
Highly Influenced

Reification: Reflection without Metaphysics

LISP and Functional Programming • 1984
View 7 Excerpts
Highly Influenced