Loading...
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.
Loading...
Name
momms.pdf
Access type
openaccess
Size
283.5 KB
Format
Adobe PDF
Checksum (MD5)
1e6d6e9c1e776d1c70e263e7ce7cd5ae