Infoscience

Similar records
Conference paper

Mobile Objects "Must" Move Safely

Briais, Sébastien; Nestmann, Uwe
  • Presented at: Formal Methods for Open Object-based Distributed Systems, University of Twente, the Netherlands, March 2002
  • Publication date: 2002

Øjeblik is a lexically-scopted, object-based calculus that represents a distribution-free subset of the LAN-based programming language Obliq. The surrogate operation on Øjeblik-objects, which is the abstraction of migration on Obliq-objects, is a combined operation derived from the more primitive operations cloning and aliasing.

Reference

  • LAMP-CONF-2002-002

Record created on 2006-01-24, modified on 2012-03-20

Fulltext

Contacts

EPFL authors