• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Teaching
• Research
  • Publications
  • Groups
  • Research staff
  • Projects
  • Research admissions
  • Research at Kent

Studying

• Undergraduate courses
• Postgraduate courses

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People

Search

School of Computing

Computer Science: Publication Index 1992

• Observations and recommendations on the internationalisation of software. David Barnes. Technical Report 6-92, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1992.
• How to produce correct software - an introduction to formal specification and program development by transformations. E.A. Boiten, H.A. Partsch, D. Tuijnman, and N. V"olker. Computer Journal, 35(6):547-554, December 1992.
• USTOPIA requirements - Thoughts on a User-friendly System for Transformation Of Programs In Abstracto. E.A. Boiten, M.G.J. van den Brand, N.W.P. van Diepen, C.H.A. Koster, H.A. Partsch, and N. V"olker. Periodica Polytechnica Ser. El. Eng., 35(2):101-123, January 1992. Also Technical Report 90-12, Dept. of Informatics, University of Nijmegen.
• Factorisation of the factorial - an example of inverting the flow of computation. E.A. Boiten. Periodica Polytechnica Ser. El. Eng, 35(2):77-99, January 1992.
• Improving recursive functions by inverting the order of evaluation. E.A. Boiten. Science of Computer Programming, 18:139-179, January 1992.
• Views of formal program development. E.A. Boiten. PhD thesis, University of Nijmegen, Faculty of Mathematics and Informatics, February 1992. Contains cite159,165,162,161,156. ISBN 90-9004747-6.
• Editing structured documents: Problems and solutions. Heather Brown and Fred Cole. Electronic Publishing - Origination, Dissemination and Design, 5(4):209-216, January 1992.
• Marking EP coursework using electronic communication. Peter J. Brown and Richard E. Jones. Electronic Publishing: Origination, Dissemination and Design, 5(2), June 1992. Also in BIGRE 79, Teaching Electronic Publishing, TEP'92 Proceedings, Lausanne, April 7, 1992.
• Teaching electronic publishing to computer scientists. H Brown and I A Utting. Electronic Publishing - Origination, Dissemination and Design, 5(2):91-96, June 1992.
• Teaching electronic publishing to computer scientists. H Brown and I A Utting. In J Andre, editor, Teaching Electronic Publishing: Proceedings of TEP'92, pages 97-105. Bigre, January 1992.
• Unix guide: Lessons from ten years'' development. P. J. Brown. In D. Lucarella et al., editors, Proceedings of the ACM conference on Hypertext, pages 63-70. ACM Press, New York, January 1992.
• Distributed aspects of the 1992 directory standard. D W Chadwick. In S.Tzafestas, P.Borne, and L.Grandinetti, editors, Parallel and Distributed Computing in Engineering Systems, North-holland, 1992, pages 471-476, June 1992. Proceedings of the IMACS/IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems, June, 1991.
• Recompression of still images. Syin Chan. Technical Report 2-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1992.
• Connection Management for an ATM Network. Laurence A. Crutcher and A. Gill Waters. IEEE Network, 6(6):42-55, November 1992.
• The parallel solution of partial differential equations on transputer networks. Rudnei Dias da Cunha and Tim Hopkins. Technical Report 17-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1992.
• The parallel solution of systems of linear equations using iterative methods on transputer networks. Rudnei Dias da Cunha and Tim Hopkins. Technical Report 16-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1992.
• Showing the destination of hypertext links: a new approach for guide. Maria da Gracca Campos Pimentel. Technical Report 8-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, April 1992.
• Farming: towards a rigorous definition and efficient transputer implementation. W.G. Day. In Alastair Allen, editor, Transputer Systems - Ongoing Research, Proceedings of WoTUG 15, pages 49-62, University of Aberdeen, UK, April 1992. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-085-5.
• Programming Environments for Novices. J.B.H. du Boulay, M.J. Patel, and C. Taylor. In Proc. of NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments, pages 105-107, Genoa, Italy, March 1992.
• A generally configurable multigrid implementation for transputer networks. Osama El-Giar and Tim Hopkins. Technical Report 23-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1992.
• Design Issues in Structured MAL. J. Fiadeiro, S. J. Goldsack, S. Kent, and W. Quirk. In FOREST Research Deliverable Report WP1.R2. Department of Computing, Imperial College of Science, Technology and Medicine, London, January 1992.
• Algoritmos para descobrir o maximo em um multicomputador baseado em barramentos hierarquicos. AA Freitas and C Kirner. In Proc IV Simp Brasileiro em Arquitetura de Computadores, pages 289-303, Sao Paulo - SP, Brazil: USP, October 1992.
• Introducao a algoritmos geneticos. AA Freitas and C Kirner. In Proc Workshop em Redes Neurais, pages 71-88, Sao Carlos - SP, Brazil: UFSCar, September 1992.
• Making computing enterprising - a response to the enterprise in higher education initiative. U Fuller. In D. Bateman and T. Hopkins, editors, Developments in the Teaching of Computer Science, pages 230-236. University of Kent at Canterbury, April 1992.
• An object-oriented toolkit for structured documents. F C Cole H Brown and E A Oxborrow. In C Vanoirbeek and G Coray, editors, EP92: Proceedings of Electronic Publishing 92, Cambridge Series on Electronic Publishing, pages 95-111. Cambridge University Press, January 1992.
• Implementation of the Veritas Design Logic. F. K. Hanna, N. Daeche, and W. G. J. Howells. In Proc. Theorem Provers in Circuit Design, pages 77-94. North Holland, 1992.
• Dependent Types and Formal Synthesis. F. K. Hanna and N. Daeche. Phil. Trans. Royal Soc., 339:121-135, April 1992.
• The Veritas Design Logic; a User''s View. F. K. Hanna and N. Daeche. In Proc. Theorem Provers in Circuit Design, pages 301-310. North Holland, 1992.
• Cumulative index to the acm algorithms. Tim Hopkins and David Morse. Technical Report 24-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1992.
• Cumulative index to the applied statistics algorithms. Tim Hopkins and David Morse. Technical Report 25-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1992.
• Cyclic weighted reference counting without delay. Richard Jones and Rafael D Lins. Technical Report 28-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1992.
• Tail recursion without space leaks. Richard E. Jones. Journal of Functional Programming, 2(1):73-79, January 1992.
• Zed - a Z specification language Type 1 font. Richard E. Jones. Info-Mac CD-ROM, Pacific HiTech Inc. and Oxford Z archive, Info-mac archive at Stanford University and mirrors, August 1992.
• Polymorphic type checking by interpretation of code. Stefan Kahrs. LFCS report ECS-LFCS-92-238, University of Edinburgh, Laboratory for Foundations of Computer Science, September 1992.
• Unlimp - uniqueness as a leitmotiv for implementation. Stefan Kahrs. In Maurice Bruynooghe and Martin Wirsing, editors, Programming Language Implementation and Logic Programming, volume 631 of Lecture Notes in Computer Science, pages 115-129. Springer, August 1992.
• The ZENITH System for Object Management in Distributed Multimedia Design Environments. Z. P. Kemp, E. A. Oxborrow, M. J. Davy, P. F. Linington, R. Thearle, G. S. Blair, P. Dark, N. A. Davies, J. A. Mariani, and C. Snape. Information and Software Technology, vol. 34(no. 7), June 1992.
• Model for Distributed Multimedia Geographical Objects. Zarine Kemp and Elizabeth Oxborrow. In Proceedings of EGIS '92, Third European Conference on Geographical Information Systems, Munich, Germany, March 1992.
• Modelling Relationships in Spatial Databases. Z. Kemp and R. Thearle. In Proceedings of the International Conference on Spatial Data Handling, Charleston, USA, August 1992.
• Specifying Deontic Behaviour in Modal Action Logic. S. Kent, T. Mailbaum, and W. Quirk. In FOREST Research Deliverable Report WP1.R2. Department of Computing, Imperial College of Science, Technology and Medicine, London, January 1992.
• Schedule Analysis of Concurrent Logic Programs. A. King and P. Soper. In K. Apt, editor, Joint International Conference and Symposium on Logic Programming, pages 478-492. MIT Press, January 1992.
• Serialisation Analysis of Concurrent Logic Programs. A. King and P. Soper. In H. Kirchner, editor, Algebraic and Logic Programming, volume 632 of Lecture Notes in Computer Science, pages 322-334, September 1992.
• Gammacmc: A novel way of compiling functional languages. Rafael D Lins and Bruno O Lira. Technical Report 19-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, July 1992.
• Cyclic reference counting with lazy mark-scan. Rafael D Lins. Technical Report 26-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1992.
• Generational cyclic reference counting. Rafael D Lins. Technical Report 22-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1992.
• A multi-processor shared memory architecture. Rafael D Lins. Technical Report 1-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1992.
• Partial categorical multi-combinators and church-rosser theorems. Raphael D Lins. Technical Report 7-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1992.
• Introduction to the SAZ Method: the State Specification. K C Mander, F A C Polack, and M Whiston. In Proceedings International SSADM Conference, Warwick, September 1992.
• MooZ Case Studies. SRL Meira and ALC Cavalcanti. In R Barden, S Stepney, and D Cooper, editors, Object Orientation in Z, Workshops in Computing, chapter 5, pages 37-58. Springer-Verlag, 1992.
• Gmc a graph categorical multi-combinator machine. Martin A Musicante and Rafael D Lins. Technical Report 27-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1992.
• Some performance figures for the g-machine and its optimisations. P G Soares and R D Lins. Technical Report 21-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1992.
• Definition of a Theoretical Form for MATS-2. Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/006/02, Dept. of Comp. Science, City University, London, July 1992.
• Initial Domain Analysis of MATS-2. Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/002/02, Dept. of Comp. Science, City University, London, July 1992.
• Interim Progress Report on Analysis of MATS-2. Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/014/02, Dept. of Comp. Science, City University, London, November 1992.
• A Survey of Formalisms for the Specification of MATS-2. Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/005/02, Dept. of Comp. Science, City University, London, August 1992.
• Transformation between Theoretical and Validation Forms. Chris Taylor and Yogesh Naik. Technical Report CAA/FAROAS/05/007/01, Dept. of Comp. Science, City University, London, July 1992.
• Solving divergence in Knuth-Bendix completion by enriching signatures. M. Thomas and P. Watson. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Algebraic Methodology and Software Technology, Proceedings of the 2nd International Conference, Iowa City, U.S.A., 1991, Workshops in Computing, pages 377-390. Springer Verlag, January 1992.
• The Categorical Multi-combinator Machine: CMCM. Simon Thompson and Rafael D Lins. The Computer Journal, 35(2), July 1992.
• Are subsets necessary in Martin-Lof type theory?. Simon Thompson. In J. P. Myers Jr. and M. J. O'Donnell, editors, Constructivity in Computer Science, volume 613 of Lecture Notes in Computer Science, pages 46-57. Springer-Verlag, January 1992.
• Formulating Haskell. Simon Thompson. Technical Report 29-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1992.
• A video control processor. Gerald Tripp. Technical Report 10-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1992.
• Postscript tutorial and reference. Ian Utting. Technical Report 11-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1992.
• Multicast provision for high speed networks. A.G. Waters. In A. Danthine and O. Spaniol, editors, 4th IFIP Conference on High Performance Networking, pages G1-1-G1-16. IFIP, December 1992.
• A Transputer Based Active Vision System. P.H. Welch and A.B. Smith. In Alastair Allen, editor, Transputer Systems - Ongoing Research, Proceedings of WoTUG 15, pages 112-121, University of Aberdeen, UK, April 1992. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-085-5.
• Image Tracking in Real-Time: a Transputer Emulation of some Early Mammalian Vision Processes. P.H. Welch and D.C. Wood. In David Hogg and Roger Boyle, editors, BMVC92, Proceedings of the British Machine Vision Conference 1992, pages 387-396, Leeds, UK, September 1992. Springer Verlag. ISBN 3 540 19777 X.
• KITTEN - A Foveal Image Tracker. P.H. Welch and D.C. Wood. Image Processing and Transputers, pages 97-112, June 1992. Published by IOS Press, Netherlands. ISBN 90-5199-071-5.
• Shared-Memory Multi-Processors and occam. P.H. Welch. WoTUG Newsletter No. 17, pages 42-45, July 1992.
• The Role and Future of occam. P.H. Welch. Transputer Applications - Progress and Reports, Proceedings of the Final Transputer Initiative Symposium, March 1992. Published by IOS Press, Netherlands. ISBN 90-5199-0790.
• The computation of polylogarithms. David Wood. Technical Report 15-92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1992.