UTS: A type system for facilitating data communication.
This dissertation presents a type scheme called UTS. The goal of UTS is to support composition between autonomous systems and programs. Composition is defined to include procedure call and message passing; it also includes command invocation and the use of stored data. The design of UTS and the prin...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
The University of Arizona.
1989
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10150/184840 |