© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Computer Science: Publication Index 1987
- On Including Part Hierarchies in Object-oriented Languages, with an Implementation in Smalltalk. E Blake and S J Cook. In Proceedings of ECOOP'87, European Conference on Object-oriented Programming, LNCS 276, Paris, June 1987. Springer-Verlag.
- Implementation of a Relational Language for Microcomputers. ALC Cavalcanti, D Florissi, PG Soares, and TCS Melo. In 7th Conference of the Brazilian Computer Society, pages 441-451, 1987. (in Portuguese).
- FTAM. The development of a commercial product.. D W Chadwick. In Proceedings of the Open Systems Conference (London). Online Publications, March 1987.
- An algebraic approach to computational logic. F. K. Hanna and N. Daeche. In P. Dybjer and B. Nordstrom, editors, Proc Workshop on Programming Logic, pages 300-326, October 1987.
- Specification and verification of digital systems. F. K. Hanna and N. Daeche. In Proc Conf on Logic and its Application to Computer Science, pages 73-143, 1987. University of Newcastle upon Type, UK.
- A Language for a Relational Database Management System. R Sanches, SS Sette, ALC Cavalcanti, D Florissi, PG Soares, and TCS Melo. In 2nd Brazilian Symposium on Databases, 1987. (in Portuguese).
- Interactive functional programs: a method and a formal semantics. Simon Thompson. Technical Report 48*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1987.
- Emulating Digital Logic using Transputer Networks (Very High Level Parallelism = Simplicity = Performance). P.H. Welch. In Proceedings of the Parallel Architectures and Languages Europe International Conference, volume 258 of Springer-Verlag Lecture Notes in Computer Science, pages 357-373, Eindhoven, Netherlands, June 1987. Springer-Verlag. sponsored by the CEC ESPRIT Programme.
- Managing Hard Real-Time Demands on Transputers. P.H. Welch. In T. Muntean, editor, Proceedings of OUG 7 Conference and International Workshop on Parallel Programming of Transputer Based Machines, LGI-IMAG, Grenoble, France, September 1987. Occam User Group, IOS Press, Netherlands. ISBN 90 5199 002 4.
- Parallel Processes as Reusable Components. P.H. Welch. In Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm, pages 86-99. Cambridge University Press, May 1987.