Table of ContentsMigration = Cloning ; Aliasing Motivation File Migration in Unix Object Migration in Obliq From Migration to Surrogation What is Correctness? Transparency! Overview Aliasing Models for Mobile Objects Conclusions File “Migration” in Unix: mv = cp;rm Distributed Mobile Computation in Obliq Object “Migration” in Obliq Surrogation = Lexical Scoping Disclaimer Is Such Surrogation transparent ? Roadmap Motivation Overview Object Calculi Self-Infliction, Protection, Serialization Formal Semantics & Program Equivalence Crucial Observations & Main Results Aliasing Models for Mobile Objects Conclusions Object “Calculi” Øjeblik Obliq The Concept of Self-Infliction (I) The Concept of Self-Infliction (II) Protection via Self-Infliction Serialization via Self-infliction (as in Modula-3) Equivalence & Formal Study Observations Main Results Motivation Overview Aliasing Models for Mobile Objects Counterexamples for External Surrogation Problematic Examples for Internal Surrogation Conclusions External Surrogation (I): Cardelli External Surrogation (II): Talcott Internal Surrogation (I): target clone Internal Surrogation (II): source update Internal Surrogation (III): re-alias Motivation Overview Aliasing Models for Mobile Objects Conclusions Further Work Further Work |
Author: Uwe Nestmann
Email: uwe@cs.auc.dk Home Page: http://www.cs.auc.dk/~uwe/ |