1.2.1 Overview..................................... 7

Abstract

The Universe type system partitions the object store into contexts to control aliasing and dependencies. It exists already an Universe type system which was developed for Java. This report describes how the existing Universe type system can be adapted for Eiffel. Mainly we developed possible treatments for the special Eiffel constructs expanded types and agents that have n

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the following location(s):}

http://citeseerx.ist.psu.edu/v... (external link)

http://www.cs.washington.edu/h... (external link)