E1AR0002@SMUVM1.BITNET (06/11/86)
University of Kent at Canterbury
Computing Laboratory Reports
Reports are available free to academic institutions, a nominal charge
will be made for reports requested by others.
Requests for reports should be sent to:
Documentation Officer
Computing Laboratory
The University
Canterbury
Kent CT2 7NF
No 1 Transport Service Byte
Stream Protocol (TSBSP)
I N Dallas
August 1981 (Revision 3)
No 2 UKC Papers on the
Cambridge Ring presented
at Networkshops 4, 5 & 6
S E Binns, I N Dallas, M N A Lee
October 1980
No 3 Operational Experiences with
a Cambridge Ring Local Area
Network in a University Environment
E B Spratt
October 1980
No 4 Multidimensional Search Trees
as Indices of Files
Y V Silva-Filho
February 1981
No 5 Dynamic Program Building
P J Brown
December 1980
No 6 Byte Streams on a Microcomputer
T E Schutt
March 1981
No 7 Comments on style in C
R P A Collinson
May 1981
No 8 Cambridge Ring to PSS Gateway
RSX-11M Transport Service
Module (for X25) Specification
I N Dallas
June 1981
No 9 Basic Block Protocol
Implementation Guide.
I N Dallas
March 1981
No 10 Protocols used on the Ring
A Simple Guide
I N Dallas
March 1981
No 11 Executing Pascal and Assembly
Language programs on the HEX-29
R P Bird
October 1981
No 12 UKC File Server
M J Bayliss
May 1982
No 13 The Kent Spooler for UNIX
R P A Collinson
June 1982
No 14 Sorting Algorithms in KRC
Implemented in a Functional
Programming System
Silvio Lemos Meira
August 1982
No 15 Fortran Subroutines for the
Solution of Symmetric and
Non-symmetric Toeplitz sets
of Linear Equations using
the Levinson-Trench Algorithm
T R Hopkins
October 1982
No 16 A UNIX SSP/BBP interface to
the Cambridge Ring
R P A Collinson
December 1982
No 17 Unknotting Fortran
T R Hopkins
October 1983
No 18 The UKC TS29 Ring PAD
A L Ibbetson
June 1984 (Revision 2)
No 19 Implementing the Spectral Test
for Assessing Linear Congruential
Random Number Generators
T R Hopkins
March 1984
No 20 Optimized Combinatoric Code for
Applicative Language Implementation
Silvio Lemos Meira
April 1984
No 21 The Proteus Distributed
Database System
E A Oxborrow
July 1984
No 22 2-PIGS: An Interactive
Graphical Programming Environment
with Mixed Interpretation
and Compilation
Man-Chi Pong
September 1984
No 23 Report on the Hewlett Packard
4951A Protocol Analyser
I N Dallas
September 1984
No 24 Menus and Menu Systems
An Approach to the User Interface
James A Pitcairn-Hill
October 1984
No 25 A Microcomputer Database System
in a Distributed
Database Environment
E A Oxborrow
October 1984
No 26 I-PIGS: A Concurrent Programming
Environment with Interactive
Graphical Support
Man-Chi Pong
November 1984
No 27 The Complexity of a Translation
of L-calculus to
Categorical Combinators
R D Lins
April 1985
No 28 A Linear Applicative Solution
for The Set Union problem
Silvio Lemos Meira
May 1985
No 29 A Short Guide to LaTeX
Silvio Lemos Meira
May 1985
No 30 Proceedings of a Seminar on
Social Science Computing Services
11 January 1985
The Economic & Social Research Council
1 Temple Avenue London EC4
R E Cooley
July 1985
No 31 Computation with Graphics in a
Mathematics Teaching Initiative
G J Makinson and H L Morarji
October 1985
No 32 KAS: A New Authoring System for
Computer-Assisted Learning
G J Makinson and H L Morarji
October 1985
No 33 A New Formula for the Execution
of Categorical Combinators
R D Lins
November 1985
(Revision 1 - April 1986)
No 34 On the Efficiency of Categorical
Combinators as a Rewriting System
R D Lins
November 1985
(Revision 1 - May 1986)
No 35 Laws in Miranda
S J Thompson
December 1985
No 36 A Graph Reduction Machine
for Execution of
Categorical Combinators
R D Lins
April 1986
No 37 Proving properties of functions
defined on lawful types
S J Thompson
May 1986
June 1986