Sciweavers

Share
POPL
1993
ACM

Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes

9 years 6 months ago
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across independent program units. Facilities such as module and object systems that require cross references of variables therefore must be added as special features. In this paper we present an alternative: quasi-static scoping. Quasi-static scoping is more exible than static scoping, but has the same encapsulation mechanism. The user can control when and in what scope to resolve a quasi-static variable, i.e., to associate it with a variable binding. To demonstrate its versatility, we add quasi-static scoping to Scheme and show how to build the aforementioned facilities at the user-level. We also show that quasi-static scoping can be implemented e ciently.
Shinn-Der Lee, Daniel P. Friedman
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where POPL
Authors Shinn-Der Lee, Daniel P. Friedman
Comments (0)
books