1972
24 references published this year.
Simple recursive program schemes and inductive assertions
J. W. de Bakker and others (1972) · Mathematisch Centrum, Amsterdam
Design Automation of Digital Systems, Volume 1
M. A. Breuer (1972) · Prentice-Hall
A Note on Three-Valued Logic Simulation
M. A. Breuer (1972) · Institute of Electrical and Electronics Engineers (IEEE)
Structured multiprogramming
Per Brinch Hansen (1972) · Communications of the ACM · Association for Computing Machinery
Some techniques for proving correctness of programs which alter data structures
Rodney M. Burstall (1972) · Machine intelligence
Program proving: Jumps and functions
Maurice Clint and others (1972) · Acta Informatica · Springer Science+Business Media
Theorem proving in arithmetic without multiplication
D. Cooper (1972) · Machine Intelligence
Combinatory Logic, Volume II
Haskell B. Curry and others (1972) · North-Holland
Lambda-calculus notation with nameless dummies, a tool for automatic formula manipulation
N D de Bruijn (1972) · Indag Math.
Chapter I: Notes on structured programming
Edsger W. Dijkstra (1972) · Academic Press Ltd. eBooks · Academic Press
Origins of the Binary Code
F. G. Heath (1972) · Springer Science and Business Media LLC
Proof of correctness of data representations
C.A.R. Hoare (1972) · Acta Inf. 1 (1972)
Reducibility among Combinatorial Problems
Richard M. Karp (1972) · Complexity of Computer Computations · Springer US
Strong functors and monoidal monads
Anders Kock (1972) · Springer Science and Business Media LLC
Fixpoint approach to the theory of computation
Zohar Manna and others (1972) · Communications of the ACM · Association for Computing Machinery (ACM)
The Limits to Growth
Donella H. Meadows and others (1972) · Universe Books
Proving compiler correctness in a mechanised logic
R Milner and others (1972) · Machine Intelligence, chapter 3 · Edinburgh University Press
Verification Oriented Language Design
James H. Morris (1972) · University of California, Berkeley
On the criteria to be used in decomposing systems into modules
David Lorge Parnas (1972) · Communications of the ACM · Association for Computing Machinery
Circuit implementation of petri nets
S. Patil (1972) · Technical Report Computation Structures Group Memo 73
Continuous lattices
Dana Scott (1972) · Springer Berlin Heidelberg
The formal theory of monads
Ross Street (1972) · Journal of Pure and Applied Algebra · Elsevier BV
On the Impact of the Computer on Society: How Does One Insult a Machine?
Joseph Weizenbaum (1972) · Science · American Association for the Advancement of Science (AAAS)
Time-Sharing Computer Systems
M. V. Wilkes (1972) · Elsevier