UMCS Technical Reports 1990

UMCS-90-10-1

Indexed Categories for Program Development.
B. Hilken and D. E. Rydeheard.

UMCS-90-9-1

The Random Matrix Hashing Algorithm.
Behnam Banieqbal and Steve Hilditch.

UMCS-90-8-2

Distributed Binding Mechanisms in the Flagship System.
J. A. Keane.

UMCS-90-8-1

Distributed Relational Queries: Structures for Locking and Access.
Steve Hilditch and Tom Thomson.

UMCS-90-3-1

On the usability of logics which handle partial functions.
J. H. Cheng and C. B. Jones.

UMCS-90-2-1

The Flagship Declarative System.
J. A. Keane.

UMCS-90-1-1

Modularizing the Formal Description of a Database System.
John S. Fitzgerald and Cliff B Jones.