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

Article

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

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

Conference or Workshop Item

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

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

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.

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

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.

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.

Book

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

Technical Report

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) The Software Management Game. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

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