We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
The universes typesystems (MR07a) are used to describe ownership, containment, and aliasing properties of Java programs.
Version: 2 Time: Mon Mar 31 11:39:40 2008 Author: dcochran (dcochran) IP: 193.1.132.32