conference paper
Mobile Objects "Must" Move Safely
2002
FMOODS 2002: Formal Methods for Open Object-Based Distributed Systems V
Ø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.
Type
conference paper
Author(s)
Nestmann, Uwe
Date Issued
2002
Published in
FMOODS 2002: Formal Methods for Open Object-Based Distributed Systems V
Start page
29
End page
146
Written at
EPFL
EPFL units
| Event name | Event place | Event date |
University of Twente, the Netherlands | March 2002 | |
Available on Infoscience
January 24, 2006
Use this identifier to reference this record