40 Years of Computing at Newcastle

Department Technical Report Series - 1975

• 68: H.C. Lauer. On Ph.D thesis proposals in computing science, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 69: J.L. Szwarcfiter and P.E. Lauer. A new backtracking strategy for the enumeration of the elementary cycles of a directed graph, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 70: T. Anderson. Provably safe programs, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 71: D.M. Cruickshank. Computable error bounds for poly-nomial collocation methods, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 72: C.R. Snow and A.M. Yates. A system for interactive graph theory and some applications, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 73: H. Fells, N.M. Newman and J.L. Lloyd. The preparation and use of a programmed instruction text to teach a programming language, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 74: P.E. Lauer. Formal semantics of a class of high-level primitives for co-ordinating concurrent processes, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 75: B. Randell. System structure for software fault tolerance, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 76: L.B. Wilson. The analysis of sequence search trees using recurrence relations, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 77: P. Henderson, R.A. Snowdon, J.D. Gorrie and I.I. King. The TOPD system,Computing Laboratory, University of Newcastle upon Tyne 1975.

• 78: E.D. Barraclough, J.A. Hunter, A.J. Lovett and B.N. Rossiter. The Medusa current awareness experiment, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 79: J.L. Szwarcfiter and L.B. Wilson. Some properties of ternary trees, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 80: P.E. Lauer. On the logical description of simple conventional hardware configuration, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 81: I. Mitrani and J.H. Hine. Mitrani, I. Hine J.H., Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 82: L.B. Wilson. Assignment using choice lists, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 83: J.H. Hine. A note on the solution of general closed queueing networks, Computing Laboratory, University of Newcastle upon Tyne, 1975.

• 84: J. Eve. Ph.D programmes at some North American universities, Computing Laboratory, University of Newcastle upon Tyne, 1975.