Obliq, a language with distributed scope
Luca Cardelli · 1996
ABSTRACT: Obliq is a lexically-scoped, untyped, interpreted language that supports distributed objectoriented computation. Obliq objects have state and are local to a site. Obliq computations can roam over the network, while maintaining network connections. Distributed lexical scoping is the key mechanism for managing distributed computations. A simple guiding principle separates Obliq from other distributed procedural languages: adherence to lexical scoping in a distributed context. This principle has a number of interesting consequences: it supports a natural and consistent semantics of distributed computation, and enables elegant techniques for distributed programming.