Description:
<jats:p>
Trellis/Owl is an object-based language incorporating a type hierarchy with multiple inheritance and compile-time type checking. The combination of features in the language facilitates the design, implementation, and evolution of large computer programs. This paper provides an brief introduction to the Trellis/Owl language. It discusses the basic elements of the language, objects, and shows how these are specified and implemented using
<jats:italic>types, operations,</jats:italic>
and
<jats:italic>components</jats:italic>
. The notion of a type hierarchy is introduced by a discussion of
<jats:italic>subtyping</jats:italic>
and
<jats:italic>inheritance</jats:italic>
. Other elements of the Trellis/Owl language such as
<jats:italic>type generators, iterators,</jats:italic>
and
<jats:italic>exceptions</jats:italic>
are briefly presented.
</jats:p>