From the Publisher: This poster gives you an overall view of the classes in the Java" RM" 2
Platform, Standard Edition, vl. 2. There are now a total of 1,781 public classes and interfaces …

Axioms for Mutually Recursive Free Type De nitions 1 Introduction Page 1 Axioms for Mutually
Recursive Free Type De nitions RD Arthan Lemma 1 Ltd. rda@lemma-one.com 1 July 1997 …

OBJECT CLASSES, META CLASSES AND METHOD RESOLUTION IN OBJECT REXX Page
1 OBJECT CLASSES, META CLASSES AND METHOD RESOLUTION IN OBJECT REXX …

Programs written in languages like Modula-3 [6], Ada [0], and to some extent also C++[3],
consist of a number of interfaces and modules. The variables declared at the outermost level …

In a definition, the expression to the right of the"==" can contain only TLA+ primitives,
symbols that have already been defined or declared, and definition parameters (for …

Let 5 be a torsion-torsionfree (TTF) class, in the sense of Jans [5], in the category of left
modules over a ring R. Then 5 is both a torsion class for some torsionfree class $, and 5 is a …

Morita contexts and gamma rings are equivalent concepts ([2]). There-fore, the duality theory
obtained in Morita contexts is interpreted in the terms of gamma rings and vice versa …

Class-based languages, such as C++ and Java, form the mainstream of object-oriented
programming. The basic function of classes is to describe objects with similar behavior …