Search
School of Computing
Computer Science: Publication Index 1989
-
Inverting
the flow of computation in tree-like recursive functions.
E.A. Boiten.
In P.M.G. Apers, D. Bosman, and J. van Leeuwen, editors, Computing Science
in the Netherlands 1989, pages 33-56, Amsterdam, November 1989.
Stichting Mathematisch Centrum.
Superseded by cite159.
-
Specifying
the Apple Macintosh Toolbox Event Manager.
C T Burton, S J Cook, S Gikas, J R Rowson, and S T Sommerville.
Formal Aspects of Computing, 1, 1989.
-
Denotational Models of Software Systems.
ALC Cavalcanti and SRL Meira.
In 9th Conference of the Brazilian Computer Society, pages 187-204,
1989.
(in Portuguese).
-
The
directory - existing services and proposed enhancements.
D W Chadwick.
In Proceedings of the Open Systems 89 Conference (London), pages
107-132. Blenheim Online Publications, March 1989.
-
Visual
Programming of User Interfaces.
S J Cook and S Masnavi.
In A Kilgour and R Earnshaw, editors, Graphics Tools for Software
Engineering. Cambridge University Press, 1989.
-
Weak density
and cupping in the d-r.e. degrees.
S.B. Cooper, S. Lempp, and P. Watson.
Israel Journal of Mathematics, 67(1):137-152, January 1989.
-
Ecoop'89:
Proceedings of the 1989 european conference on object-oriented
programming.
S J Cook (ed), editor. Cambridge University Press, 1989.
-
The parallel
solution of linear elliptic equations using hopscotch algorithms.
Mohamed Osama El-Giar and Tim Hopkins.
Technical Report 62*, University of Kent, Computing Laboratory, University of
Kent, Canterbury, UK, June 1989.
-
Formal
Synthesis of Digital Systems.
F. K. Hanna, N. Daeche, and M. Longley.
In L. Claesen, editor, Proc IFIP Intnl. Workshop on Applied Formal Methods
for Correct VLSI Design, pages 532-548. Elsevier, 1989.
Leuven, Belgium.
-
Veritas: A
Specification Language based on Type Theory.
F. K. Hanna, N. Daeche, and M. Longley.
In Proc. Workshop on Hardware Specification, Verification and Synthesis,
Mathematical Aspects, pages 358-379. Springer Verlag, 1989.
LNCS.
-
Transputer
data-flow solution for systems of linear equations.
Tim Hopkins and Peter Welch.
Technical Report 68*, University of Kent, Computing Laboratory, University of
Kent, Canterbury, UK, September 1989.
-
On the
implementation of functional programming languages.
Richard E. Jones.
Master's thesis, UKC Computing Laboratory, September 1989.
-
LindA: A
Language for Automated Authoring of Hypertexts.
J Kelner, ALC Cavalcanti, and A Pardo.
In 3rd Brazilian Symposium on Sofrware Engineering, pages 124-136,
1989.
-
Cyclic
reference counting with local mark-scan.
Rafael D Lins.
Technical Report 65*, University of Kent, Computing Laboratory, University of
Kent, Canterbury, UK, July 1989.
-
Real-time
transputer models of low-level primate vision.
A.B. Smith and P.H. Welch.
In J. Wexler, editor, Occam and the Transputer, Research and Applications,
Proceedings of OUG 11, pages 171-181, University of Edinburgh, UK,
September 1989. Occam User Group, IOS Press, Netherlands.
ISBN 90 5199 011 1.
-
Test-questions data base and automatic assembling and composing.
Linying Su.
Journal of Inner Mongolia University (Edition of Science),
20(2):284-288, April 1989.
-
A Logic for
Miranda.
Simon Thompson.
Formal Aspects of Computing, (1), July 1989.
-
Least sorts
in order-sorted term rewriting.
P. Watson and A.J.J. Dick.
Technical Report CSD-TR-606, Royal Holloway and Bedford New College, University
of London, January 1989.
-
Transputer
Data-Flow Solutions for Systems of Linear Equations.
P.H. Welch and T.R Hopkins.
In Parallel Computing 1989, Proceedings of the International
Conference, Leiden, Netherlands, January 1989. Parallel Computing
Society, Elsevier, Netherlands.
-
Emulating
Digital Logic using Transputer Networks (Very High Parallelism = Simplicity =
Performance).
P.H. Welch.
International Journal of Parallel Computing, 9, January 1989.
Published by North-Holland. This is an updated version of the paper of June
1987.
-
Graceful
Termination - Graceful Resetting.
P.H. Welch.
In Applying Transputer-Based Parallel Machines, Proceedings of OUG
10, pages 310-317, Enschede, Netherlands, April 1989. Occam User Group,
IOS Press, Netherlands.
ISBN 90 5199 007 3.
-
Making
reuse happen - component engineering.
P.H. Welch, chapter Component Engineering in Ada (Some Problems and Some
Advice).
Peter Peregrinus Ltd., January 1989.
-
Safety
First.
P.H. Welch.
Occam User Group Newsletter, 12:22-27, January 1989.
-
TRANSNET -
A Transputer-Based Communication Service.
P.H. Welch.
In Applying Transputer-Based Parallel Machines, Proceedings of OUG
10, pages 198-212, Enschede, Netherlands, April 1989. Occam User Group,
IOS Press, Netherlands.
ISBN 90 5199 002 4.