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
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.