scispace - formally typeset
Journal ArticleDOI

An introduction to Trellis/Owl

Reads0
Chats0
TLDR
The basic elements of the Trellis/Owl language, objects, are discussed and it is shown how these are specified and implemented using types, operations, and components.
Abstract
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.

read more

Citations
More filters
Journal ArticleDOI

A behavioral notion of subtyping

TL;DR: This paper presents a way of specifying types that makes it convenient to define the subtype relation, and discusses the ramifications of this notion of subtyping on the design of type families.
Journal Article

Designing reusable classes

TL;DR: This paper describes what it is like to design systems in Smalltalk and how classes are developed so that they will be reusable.
Book ChapterDOI

The object-oriented database system manifesto

TL;DR: In this article, the main features and characteristics that a system must have to qualify as an object-oriented database system are defined and separated into three groups: mandatory, mandatory, open and optional.
Proceedings ArticleDOI

Self: The power of simplicity

TL;DR: Because Self does not distinguish state from behavior, it narrows the gaps between ordinary objects, procedures, and closures and offers new insights into object-oriented computation.
Book ChapterDOI

Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis

TL;DR: In this article, a complete inheritance graph of a program is examined, which is called class hierarchy analysis, and the compiler can improve the quality of static class information and thereby improve run-time performance.
References
More filters
Book

Smalltalk-80: The Language and its Implementation

TL;DR: This book is the first detailed account of the Smalltalk-80 system and is divided into four major parts: an overview of the concepts and syntax of the programming language, a specification of the system's functionality, and an example of the design and implementation of a moderate-size application.
Journal ArticleDOI

Abstraction mechanisms in CLU

TL;DR: This paper provides an introduction to the abstraction mechanisms in CLU by means of programming examples, and it is shown how CLU programs may be written to use and implement abstractions.
Journal ArticleDOI

Abstraction mechanisms in CLU

TL;DR: This paper provides an introduction to the abstraction mechanisms in CLU and illustrates the utility of the three kinds of abstractions in program construction and shows how CLU programs may be written to use and implement abstractions.
Book

CLU: Reference Manual

TL;DR: This document serves both as an introduction to CLU and as a language reference manual that describes each aspect of CLU in detail, and discusses the proper use of various features.
Book

Lisp machine manual