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 32 citations. REVIEW CITATIONS

References

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

An Overview of CaesarJ

Trans. Aspect-Oriented Software Development I • 2006
View 4 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

Similar Papers

Loading similar papers…