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.