Technical Reports (Computing Science)
Technical Reports Collection
Items in this Collection
Technical report TR95-13. In this work, we present a uniform behavioral temporal object model which includes a rich and extensible set of types and behaviors to support various notions of time. Our temporal model supports the continuous and discrete domains of time. It also supports various...
Technical report TR96-03. Most of the work in modeling time in information systems has concentrated on issues such as support for historical information and providing query facilities to manipulate such information. In doing so, some simplistic view of the underling nature of time has been...
Technical report TR98-02. In this paper we present a model that supports a clean separation between the concepts of interface, implementation, and representation. We present several problems that are difficult to solve in the absence of such separation and describe how the proposed model can be...
Technical report TR98-01. In this paper we present a type system that combines inclusion and parametric polymorphism with behaviors (multi-methods) and precise function typing. Type declarations allow user-definable variance specification of type parameters and user-definable subtyping between...