A Language with Distributed Scope

  • Luca Cardelli

Computing Systems, Conference Record of POPL '95: 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, Calif. |

Short version in Principles of Programming Languages January 1995

Obliq is a lexically-scoped untyped language that supports distributed object-oriented 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 roaming computations.