Proceedings of IFIP Congress 65. Information Processing 1965. Volume 1 and 2. Editor Wayne A. Kalenich. Proceedings of IFIP Congress 65. Information Processing 1965. Volume 1 and 2. Editor Wayne A. Kalenich.
1 item Proceedings of the National Physical Laboratory Symposium 'Mechanisation of Thought Processes' Volume 2
Final Draft Report on the Algorithmic Language ALGOL 68. A. van Wijngaarden, Amsterdam, December 1968. Final Draft Report on the Algorithmic Language ALGOL 68. A. van Wijngaarden, Amsterdam, December 1968.
Evaluation of ALGOL 68 as a data processing language. Evaluation of ALGOL 68 as a data processing language.
Reprint of Information Processing 1962. Proceedings of IFIP Congress 62. Munich August 27 to September 1, 1962. Reprint of Information Processing 1962. Proceedings of IFIP Congress 62. Munich August 27 to September 1, 1962.
1 item Proceedings of National Physical Labroatory Synosium 'Mechanisation of Thought Processes' Volume 1
Ferranti. The Manchester Universal Electronic Computer. August 1952. Ferranti. The Manchester Universal Electronic Computer. August 1952.
Folder: SPECTR for Elliott 4120. Computer print outs 1970. Folder: Programming Research Group 1969-70. containing Marconi automation, Display Touch Wires X2500 brochure, X2000 Display Systems brochure and Video Data Terminals DATA 4000 brochure. PDP-11 Paper Tape Software Programming Handbook DEC-11-GGPA-D, Digital Equipment Corporation, Massachusetts. Folder: Elliott 803 ALGOL Compiler. Contains, 803 ALGOL. Description of 803 Library Program A104. Elliott Brothers (London) Ltd. The Elliott ALGOL Programming System, CS 122a. August 1961. The Elliott 803 ALGOL Operating Procedure, June 1962. The Elliott 803 Programmer's Guide, June 1962. The Elliott 803, Specification, June 1962. Notes on the Elliott 503 Autocode, July 1961. Folder: Elliott 4100, Programming Information. Material relating to computer programming
PALGO: An Algorithmic Language and its Translator for Olivetti ELEA 6001 by M. Pacelli. March 1962. PALGO: An Algorithmic Language and its Translator for Olivetti ELEA 6001 by M. Pacelli. March 1962.
Explicit Definitions and Linguistic Dominoes by Saul Gorn. Pages 77-115. Explicit Definitions and Linguistic Dominoes by Saul Gorn. Pages 77-115.
. Notes on Laboratory work in Electronics by M. Woodger starting with Turing, 1947-1950, 93 documents.
Folder: BURGE. Paper: The structure of the programming language PL/1 by William H. Burge, Univac Division of Sperry Rand Corporation, New York, July 1965. Paper: A programming machine by William H. Burge. Paper: Gipsy, stacks and automatic syntactic analysis by W.H. Burge. Paper: The evaluation, classification and interpretation of expressions by W.H. Burge. Paper: Sorting, Trees, and Measures of Order by W.H. Burge. Reprinted from Information and Control, Volume 1, No. 3, September 1958. 181-197. Paper: Combinatory programming and combinatorial analysis by W.H. Burge. Folder: Applicative Expressions - Landin. Paper: A correspondence between ALGOL 60 and Church's Lambda-Notation: Part I. by P. J. Landin. Paper: A formal description of ALGOL 60 by P.J. Landin. Paper: A generalization of jumps and labels by Peter J. Landin. Paper: An analysis of assignments in programming languages by P.J. Landin. Paper: a parser for ISWIM by P.J. Landin. Paper: The grammar of ISWIM by P. Landin. Paper: Getting rid of labels by P.J. Landin. Paper: Programming without imperatives - an example by Peter J. Landin. Folder entitled Burge
Papers relating to the development of Iliffe's Basic Language Machine Papers relating to the development of Iliffe's Basic Language Machine
Christopher Strachey (1916-1975) A Biographical Note by Martin Campbell-Kelly, Department of Computer Science, University of Warwick. Christopher Strachey (1916-1975) A Biographical Note by Martin Campbell-Kelly, Department of Computer Science, University of Warwick.
The Numerical Solution of Non-Singular Linear Integral Equations. Philosophical Transactions Series A. Mathematical and Physical Sciences. No 902 vol. 245 pp. 501-534. February 1953. The Numerical Solution of Non-Singular Linear Integral Equations. Philosophical Transactions Series A. Mathematical and Physical Sciences. No 902 vol. 245 pp. 501-534. February 1953.
The Orthomorthic Projection of the Spheroid by M. Hotine. Empire Survey Review. No. 62, 1946. Vol. VIII. The Orthomorthic Projection of the Spheroid by M. Hotine. Empire Survey Review. No. 62, 1946. Vol. VIII.
A Type-Theoretical Alternative to CUCH, ISWIM, OWHY by Dana Scott. Pp, 40. Oxford. October 1969. A Type-Theoretical Alternative to CUCH, ISWIM, OWHY by Dana Scott. Pp, 40. Oxford. October 1969.
Computing Laboratory Technical Report No. 90: The Colossus by B. Randell. Computing Laboratory Technical Report No. 90: The Colossus by B. Randell.
Automatic Programming. Present Status and Future Trends by Dr. Grace Murray Hopper. 1958. Automatic Programming. Present Status and Future Trends by Dr. Grace Murray Hopper. 1958.
. Poster: Digital Computer Museum, Marlboro, Massachusetts. Lecture 'The Pilot Ace' designed by Alan Turing
GARGOYLE, A Language for Compiler Writing, Jan V. Garwick. Volume 7/ Number 1/ January 1964. GARGOYLE, A Language for Compiler Writing, Jan V. Garwick. Volume 7/ Number 1/ January 1964.
PALGO: An Algorithmic Language and its Translator for Olivetti ELEA 6001 by M. Pacelli. March 1962. In Italian. PALGO: An Algorithmic Language and its Translator for Olivetti ELEA 6001 by M. Pacelli. March 1962. In Italian.
Constraint Analysis of Many-Dimensional Relations by W. Ross Ashby. September 1965. Constraint Analysis of Many-Dimensional Relations by W. Ross Ashby. September 1965.
Folder : Programming for on-line control. Paper: MAC-TR-12, The MAC System: A Progress Report by R.M. Fano. Booklet: Universal Applicability of the Man-Machine Dialogue by J.M. Unk, ISYS 65-M3. Basic Language Reference Manual, De La Rue Bull Computer Time-Sharing Service, Mathematics Division NPL. Paper: A General Purpose File System for Secondary Storage by R. C. Daley. Paper: Segmentation and the Design of Multi-Programmed Computer Systems by Jack B. Dennis. Massachusetts Institute of Technology, Cambridge, Massachusetts. Reprinted from 1965 IEEE International Convention Record, Part 3. Folder: Work towards modifiable compiler by M. Woodger. Levels of Language folder: Notes on Insights and Understanding of Program and Processors by M. Woodger, COS 5/08/02. Folder: Programming Research Group. Man-Machine Interaction-Research Studies. Folder entitled Programming for on-line control
History Secondary Documents. Paper: From ACE to the G15 by Harry D. Huskey, University of California. Paper: The Other Turing Machine by B.E. Carpenter and R.W. Doran. Turing's detailed proposal for the construction of a stored program computer. Other historical papers. Folder of papers relating to Turning's work
Technical Report TR 25.141, February 1975 A Formal Interface Specification by F. Weissenbock, IBM. Technical Report TR 25.139, December 1974, A Formal Definition of a PL/I Subset, Part I and Part II. H. Bekic, IBM. Technical Report TR 25.085, June 1968, Two Constructive Realizations of the Block Concept and their Equivalence by P. Lucas, IBM. Technical Report TR 25.080, June 1968, Formal Definition of the PL/I Compile Time Facilities, M. Fleck, IBM. Technical Report TR 25.084, June 1968, Concrete Syntax of PL/I by K. Alber, IBM. Technical Report TR 25.087, June 1968, Method and Notation for the Formal Definition of Programming Languages by P. Lucas, IBM, Technical Report TR 25.086, June 1968, Translation of PL/I into Abstract Syntax by K. Alber, IBM. Technical Report TR 25.083, June 1968, Informal Introduction to the Abstract Syntax and Interpretation of PL/I by P. Lucas, IBM. Technical Report TR 25.082, June 1968, Abstract Syntax and Interpretation of PL/I by K. Walk, IBM. Technical Report TR 25.071, December 1966, Formal Definition of PL/I, IBM. Annual Review in Automatic Programming, Volume 6, Part 3, 1969, On the Formal Description of PL/I by P. Lucas and K. Walk, Pergamon Press Technical report produced by IBM
Guide to Computing Documentation. Doc A2. September 1972. Guide to Computing Documentation. Doc A2. September 1972.
