© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Computer Science: Publication Index 1986
- A generator for Turing machine simulation programs - user's manual. P.R.J. Asveld and E.A. Boiten. Memorandum INF-86-31, Universiteit Twente, January 1986.
- Viewing documents on a screen. P. J. Brown. In Steve Lambert and Suzanne Ropiequet, editors, CD ROM: the New Papyrus, pages 175-184. Microsoft Press, Redmond, Wa., January 1986.
- Issues in the implementation of application layer standards. D W Chadwick. In Proceedings of the Open Systems Conference (London). Online Publications, March 1986.
- A Compile-time Type Checking System for Smalltalk-80. S J Cook and G A Roberts. In the 3rd Study Sessions on Object-oriented Languages, Bigre+Globule no. 48, Paris, France, 1986.
- Languages and Object-oriented Programming. S J Cook. Software Engineering Journal, 1(2), March 1986.
- Modelling Generic User Interfaces with Functional Programs. S J Cook. In M D Harrison and A F Monk, editors, Proceedings of HCI'86, the Conference of the BCS Human Computer Interaction Specialist Group. Cambridge University Press, 1986.
- Purely functional implementation of a logic. F. K. Hanna and N. Daeche. In Proc. 8th Intnl. Conf. on Automated Deduction, pages 598-607. Springer Verlag, 1986. LNCS 230.
- Specification and verification of digital systems using higher-order logic. F. K. Hanna and N. Daeche. Proc. IEE, Part E, pages 242-254, September 1986.
- Specification and verification using higher-order logic: A case study. F. K. Hanna and N. Daeche. In Milne and Subrahmanyam, editors, Formal Aspects of VLSI Design, pages 179-213. North Holland, 1986.
- Proving properties of functions defined on lawful types. Simon Thompson. Technical Report 37*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1986.
- A Structured Technique for Concurrent Systems Design in Ada. P.H. Welch. In Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh, pages 261-272. Cambridge University Press, May 1986.