An introduction to Trellis/Owl

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 types, operations, and components . The notion of a type hierarchy is introduced by a discussion of subtyping and inheritance . Other elements of the Trellis/Owl language such as type generators, iterators, and exceptions are briefly presented.