Newcastle University

Publications

The School of Computing Science was originally founded in 1957 as the Computing Laboratory and has published thousands of publications. At that time Newcastle University was part of Durham University and known as King's College. In 1963 King's College became the University of Newcastle upon Tyne, and in 1992 the Computing Laboratory became the Department of Computing Science.

Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1961 1960 1958

• Henhapl W, Jones CB. A Run-Time Mechanism for Referencing Variables. Information Processing Letters 1971, 1(1), 14-16.
• Cocke J, Schorr H, Randell B, Sussenguth E. Apparatus and Method in a Digital Computer for Allowing Improved Program Branching with Branch Anticipation, Reduction of the Number of Branches, and Reduction of Branch Delays. USA: IBM, 3,577,189, 1971.
• Jones CB. Development of correct programs: An example based on Earley's recogniser. Hursley: IBM Laboratory, 1971. TN 9000.
• Hanford KV, Jones CB. Dynamic syntax: A concept for the definition of the syntax of programming languages. Hursley: IBM Laboratory, 1971. 12.090.
• Anderson T, Eve J, Horning JJ. Efficient LR(1) Parsers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 24.
• Jones CB. Formal development of correct algorithms: an example based on Earley's recogniser. Hursley: IBM Laboratory, 1971. 12.095.
• Randell B. Highly Reliable Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 20.
• Randell B. Large Program Design Methodology. In: Turski, W, ed. Efficient Production of Large Programs. Warsaw, Poland: Computation Centre of the Polish Academy of Sciences, 1971, pp.35-38.
• Randell B. Ludgate's Analytical Machine of 1909. The Computer Journal 1971, 14(3), 317-326.
• Randell B. Ludgate's Analytical Machine of 1909. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 15.
• Mitrani I. Multi-Programming Systems with One Processor and Many Input-Output Devices. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 22.
• Randell B. Operating Systems: The Problems of Performance and Reliability. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 17.
• Coffman EG, Randell B. Performance Predications for Extended Paged Memories. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 16.
• Coffman EG, Randell B. Performance Predictions for Extended Paged Memories. Acta Informatica 1971, 1(1), 1-13.
• Jones CB, Lucas P. Proving Correctness of Implementation Techniques. In: Engeler, E, ed. Symposium on Semantics of Algorithmic Languages. Berlin: Springer-Verlag, 1971, pp.178-211.
• Jones CB. Sufficient properties for implementation correctness. Hursley: IBM Laboratory, 1971. TN 9002.
• Alderson A, Lynch WC, Randell B. Thrashing in a Multi-Programmed Paging System. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 26.