1973
26 references published this year.
Decidable Properties of Monadic Functional Schemas
Edward A. Ashcroft and others (1973) · Journal of the ACM · Association for Computing Machinery
A calculus for recursive program schemes
J. W. de Bakker and others (1973) · Automata, Languages and Programming · North-Holland
On the completeness of the inductive assertion method
Jacobus W. de Bakker and others (1973) · Mathematisch Centrum, Afdeling Informatica
Logical Reversibility of Computation
C. H. Bennett (1973) · IBM Journal of Research and Development · IBM
Kenbak-1 Digital Computer
John V. Blankenbaker (1973) · The Journal of Data Education · Taylor & Francis
Anomalous Behavior of Synchronizer and Arbiter Circuits
Thomas J. Chaney and others (1973) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
Program proving: Coroutines
Maurice Clint (1973) · Acta Informatica · Springer Science+Business Media
Model existence theorems for modal and intuitionistic logics
Melvin Fitting (1973) · The Journal of Symbolic Logic · Cambridge University Press
The Sociology of Black Separatism
Dennis Forsythe (1973) · American Sociological Association Annual Meeting
Foundations of set theory
Abraham Adolf Fraenkel and others (1973) · Elsevier
Versatile interface for PDP-8 computers
K. Gruber and others (1973) · IOP Publishing
Induction rules and proofs of termination
P. Hitchcock and others (1973) · Automata, Languages and Programming · North-Holland
An axiomatic definition of the programming language PASCAL
C. A. R. Hoare and others (1973) · Springer Science and Business Media LLC
Automatic program verification I: A logical basis and its implementation
S. Igarashi and others (1973) · Artificial Intelligence Laboratory, Stanford University
Selected Works of Giuseppe Peano
Hubert C. Kennedy (1973) · University of Toronto Press
Correctness of programs manipulating data structures
Tomasz Kowaltowski (1973) · University of California, Berkeley
A note on the confinement problem
Butler Lampson (1973) · Communications of the ACM · Association for Computing Machinery
On correct procedure parameter transmission in higher programming languages
Hans Langmaack (1973) · Springer Science and Business Media LLC
On procedures as open subroutines. I
Hans Langmaack (1973) · Acta Informatica · Springer Science+Business Media
Inductive methods for proving properties of programs
Zohar Manna and others (1973) · Communications of the ACM · Association for Computing Machinery
Computer Crime
Gerald McKnight (1973)
Petri nets and speed independent design
David Misunas (1973) · Association for Computing Machinery (ACM)
Types are not sets
James H. Morris (1973) · 1st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
SPICE (Simulation Program with Integrated Circuit Emphasis)
Laurence W. Nagel and others (1973) · Electronics Research Laboratory, University of California, Berkeley
Presentation and major design aspects of the CYCLADES computer network
Louis Pouzin (1973) · Proceedings of the Third ACM Symposium on Data Communications and Data Networks: Analysis and Design (DATACOMM '73) · Association for Computing Machinery
Finite Automata: Behavior and Synthesis
B.A. Trakhtenbrot and others (1973) · North-Holland, Amsterdam