Skip to content

Programming Language Semantics

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Programming Language Semantics.

  • Non-local variable — Treat a variable reference as non-local to a program unit when its binding is supplied by an enclosing or otherwise noncurrent scope, making scope resolution and captured-environment lifetime explicit.