Computer Science: Publication Index 1991

• Intersections of bags and sets of extended substructures - a class of problems. E.A. Boiten. In B. M"oller, editor, Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications, pages 33-48, Amsterdam, May 1991. North-Holland.
• Intersections of sets and bags of extended substructures, and Can bag comprehension be used at all?. E.A. Boiten. Technical Report 91-21, Dept. of Informatics, University of Nijmegen, September 1991.
• The many disguises of accumulation. E.A. Boiten. Technical Report 91-26, Dept. of Informatics, University of Nijmegen, December 1991.
• Solving a combinatorial problem by transformation of abstract data types. E.A. Boiten. In J. van Leeuwen, editor, Computing Science in the Netherlands 1991, pages 99-108, Amsterdam, November 1991. Stichting Mathematisch Centrum. Also a chapter in PhD thesis.
• X.500: 1988 v 1992. D W Chadwick. In Proceedings of the Electronic Directories Conference, London, pages 23-29. Pinner:Blenheim Publications, April 1991.
• An efficient representation of arithmetic for term rewriting. D. Cohen and P. Watson. In R. Book, editor, Rewrite Techniques and Applications, Proceedings of the 4th Conference on Rewrite Techniques and Applications, Como, Italy, 1991, volume 488 of Lecture Notes in Computer Science, pages 240-251. Springer Verlag, January 1991.
• Modelling Groupware in the Electronic Office. S J Cook, G Birch, A Murphy, and J Woolsey. International Journal of Man-Machine Studies, 34, 1991. Also published in Computer-supported Cooperative Work and Groupware, S Greenberg (ed), Harcourt Brace Jovanovitch.
• Interactive User Interfaces. S J Cook, G F Coulouris, J Dollimore, K Drake, and J Francis. In Gordon Blair et al, editor, Object-oriented Languages, Systems and Applications, chapter 9. Pitmans, 1991.
• Object-oriented Techniques: Scope, Principles, Languages, Methods and Strategies. S J Cook. In J J Florentin, editor, Object-oriented Programming Systems. Chapman and Hall, 1991.
• Programming Languages based on Objects. S J Cook. In Gordon Blair et al, editor, Object-oriented Languages, Systems and Applications, chapter 5. Pitmans, 1991.
• A comparative study of iterative methods to solve systems of linear equations using transputer networks. Rudnei Dias da Cunha and Tim Hopkins. Technical Report 89*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1991.
• Parallel overrelaxation algorithms for systems of linear equations. Rudnei Dias da Cunha and Tim Hopkins. Technical Report 80*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1991.
• The parallel solution of triangular systems of linear equations. Rudnei Dias da Cunha and Tim Hopkins. Technical Report 86*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1991.
• Order-sorted term rewriting. A.J.J. Dick and P. Watson. The Computer Journal, 34(1):16-19, January 1991.
• A Deduction Calculus for Modal Action Logic with Action Combinators. S. Kent. In FOREST Research Deliverable Report WP3.R2. Department of Computing, Imperial College of Science, Technology and Medicine, London, January 1991.
• Reducing Scheduling Overheads for Concurrent Logic Programs. A. King and P. Soper. In H. Boley and M. M. Richter, editors, Processing Declarative Knowledge, number 567 in Lecture Notes in Artificial Intelligence, pages 279-286. Springer-Verlag, July 1991.
• Cyclic weighted reference counting. Rafael D Lins and Richard Jones. Technical Report 95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, December 1991.
• A comparative study of algorithms for cyclic reference counting. Rafael D Lins and Marcio A Vasques. Technical Report 92*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, September 1991.
• A shared memory architecture for parallel cyclic reference counting. Rafael D Lins. Technical Report 77*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, August 1991.
• Modular extensions to z. Silvio Lemos Meira. Technical Report 85*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1991.
• On the use of structured inductive semantics in source-to-source translation of programming languagues. Silvio Lemos Meira. Technical Report 84*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, January 1991.
• A note on similarity of specifications and reusability of transformational developments. H.A. Partsch and E.A. Boiten. In B. M"oller, editor, Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications, pages 71-89, Amsterdam, May 1991. North-Holland.
• Effect of Format on Information and Problem Solving. M.J. Patel, J.B.H. du Boulay, and C. Taylor. In Proc. of 13th Ann. Conf. of the Cognitive Science Society, pages 852-856, Chicago, September 1991.
• Prolog Tracers and Information Access. M.J. Patel, J.B.H. du Boulay, and C. Taylor. In Proc. of 1st Moscow Internat. HCI Workshop, pages 140-145, August 1991.
• Application of occam to biological sequence comparison. Shane S. Sturrock and Ian Salmon. In Janet Edwards, editor, Occam and the Transputer - Current Developments, Proceedings of WoTUG 14, pages 181-190, University of Loughborough, UK, September 1991. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90 5199 063 4.
• Outline Proposal for a Prolog `Textual Tree Tracer' (TTT). C. Taylor, J.B.H. du Boulay, and M.J. Patel. Cog. Sci. Research Paper 177, University of Sussex, January 1991.
• Generalising diverging sequences of rewrite rules by synthesising new sorts. M. Thomas and P. Watson. In S.L. Peyton Jones, G. Hutton, and C. Kehler Holst, editors, Functional Programming, Glasgow 1990, Proceedings of the 1990 Glasgow Workshop on Functional Programming, Workshops in Computing, pages 268-273. Springer Verlag, January 1991.
• Type Theory and Functional Programming. Simon Thompson. Addison Wesley, June 1991.
• TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. P.H. Welch, D. Stiles, T.L. Kunii, and A. Bakkers, editors, Sunnyvale, California, USA, April 1991. IOS Press, Netherlands. ISBN 90 5199 045 9.
• Synthesis of Deadlock-Free Parallel Programs. P.H. Welch and G.R.R. Justo. In Proceedings of the 3rd pan-Hellenic Conference on Information Technology, pages 46-59, Athens, Greece, May 1991. Greek Computer Society.
• Going to ceed?. Peter Welch. Technical Report 93, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, October 1991.
• On the Serialisation of Parallel Programs. P.H. Welch. In Janet Edwards, editor, Occam and the Transputer - Current Developments, Proceedings of WoTUG 14, pages 159-180, University of Loughborough, UK, September 1991. World occam and Transputer User Group, IOS Press, Netherlands. ISBN 90-5199-063-4.
• Securely Managed Pointers. P.H. Welch. WoTUG Newsletter 15, July 1991.
• A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large). C.J. Willcock and P.H. Welch. In P.H. Welch, D. Stiles, T.L. Kunii, and A. Bakkers, editors, TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference, pages 406-430, Sunnyvale, California, USA, April 1991. IOS Press, Netherlands. ISBN 90 5199 045 9.