Local variables and non-interference in algol-like languages

Author(s):  
R. D. Tennent

Sign in / Sign up

Export Citation Format

Share Document