UniversesTypeExplanation

WikiInclude(UniversesTypeDescription)

The version of the universes typesystem described in Muller et al. (MR07b) is implemented in two subsystems in the Mobius PVE: in the core JML tool suite found in the JML2 Eclipse plugin, and in ESC/Java2.

Version: 1 Time: Mon Mar 31 11:43:32 2008 Author: dcochran (dcochran) IP: 193.1.132.32