Items from Old ECS Groups > Dependable Systems and Software Engineering Research Group in 1987
(Grouped by Nothing)

Amir-Azizi, S., Hey, A. J. G. and Morris, T. R. (1987) Quantum Fractals. In: Complex Systems 1, 923.

Barendregt, H. P., van Eekelen, M. C. J. D., Hartel, P. H., Hertzberger, L. O., Plasmeijer, M. J. and Vree, W. G. (1987) The Dutch parallel reduction machine project. Future Generation Computer Systems, 3 (4). pp. 261-270. ISSN ISSN 0167-739X

Coddington, P. D., Hey, A. J. G., Mandula, J. E. and Ogilvie, M. (1987) "The Lattice Photon Propagator", Physics Letters B197. In: UNSPECIFIED.

Edmunds, G. (1987) Pilot Study on Automatic Grading of Programming Exercises. Technical Report , UNSPECIFIED, Dept. of Electronics and Computer Science, University of Southampton, UK.

Garratt, P. W. (1987) Simulating a Project Environment for Software Tools. In: On-Line Conference on Software Tools.

Garratt, P. W. (1987) A Software Engineering Simulator. In: AMSE International Conference. pp. 11-18.

Garratt, P. W. (1987) The Software Management Game. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Glaser, H. (1987) On the parallel evaluation of expressions in functional languages. In: Parallel processing and Applications. pp. 327-332.

Glaser, H., Hankin, C. L. and Till, D. (1987) Principes de Programmation Fonctionelle. Masson.

Glaser, H. and Thompson, P. (1987) Lazy garbage collection. Software---practice and experience, 17 (1). pp. 1-4. ISSN ISSN 0038-0644

Glendinning, I. and Hey, A. J. G. (1987) Transputer Arrays as FORTRAN Farms for Particle Physics. In: Proceedings of the International Conference on Computing in High Energy Physics. p. 367.

Hartel, P. H. (1987) Experimental parallel reduction machine user manual. Technical Report , UNSPECIFIED, Dept. of Comp. Sys, Univ. of Amsterdam.

Hey, A. J. G. (1987) Lattice Gauge Theory - An Introductory Review. In: Surveys in High Energy Physics 5, 287.

Hey, A. J. G. (1987) Quarks, Transputers and Computational Physics. In: SERC Bulletin 3, No 8.

Hey, A. J. G., Fox, G. C. and Otto, S. W. (1987) Matrix Algorithms on a Hypercube 1: Matrix Multiplication. In: UNSPECIFIED.

Minkowitz, C. and Henderson, P. (1987) A Formal Description of Object-Oriented Programming Using VDM. In: VDM-Europe Symposium on VDM - A Formal Method at Work, LNCS 252. pp. 237-259.

Pritchard, D. J., Askew, C. R., Carpenter, D. B., Glendinning, I., Hey, A. J. G. and Nicole, D. A. (1987) Pratical Parallelism Using Transputer Arrays at Parallel Architectures and Languages, Europe Eindhoven, June 1987. In: UNSPECIFIED.

Till, D. R., Hankin, C. L. and Glaser, H. (1987) Applicative Languages and Data Flow. In: Functional Programming: Languages, Tools and Architectures. pp. 128-140.