1976
40 references published this year.
Exercises in denotational semantics
Krzysztof R. Apt and others (1976) · Lecture notes in computer science · Springer Science+Business Media
The Magic Number 4 ± 0: A New Look at Visual Numerosity Judgements
J. Atkinson and others (1976) · SAGE Publications
Diagnosis & Reliable Design of Digital Systems
Unattributed (1976) · Springer Berlin Heidelberg
Digital Networks
J. A. Brzozowski (1976) · Prentice-Hall
Completeness and incompleteness theorems for Hoare-like axiom systems
Edmund M. Clarke Jr (1976) · Cornell University
Pathological interaction of programming language features
E. M. Clarke (1976) · Computer Science Department, Duke University
Programming language constructs for which it is impossible to obtain good Hoare-like axioms
E. M. Clarke (1976) · Computer Science Department, Cornell University
Correctness proofs for assignment statements
J.W. de Bakker (1976) · Rep. IW 55/76
Fault Tolerant Operating Systems
Peter James Denning (1976) · ACM Computing Surveys · Association for Computing Machinery
New directions in cryptography
Whitfield Diffie and others (1976) · IEEE Transactions on Information Theory · IEEE
A Discipline of Programming
Edsger W. Dijkstra (1976) · Prentice-Hall
Complementary Definitions of Programming Language Semantics
James E. Donahue (1976) · Springer-Verlag
Birth of a Magazine
Editorial, (1976)
Design and code inspections to reduce errors in program development
M. E. Fagan (1976) · IBM Systems Journal · IBM
Observations of Fallibility in Applications of Modern Programming Methodologies
S.L. Gerhart and others (1976) · Institute of Electrical and Electronics Engineers (IEEE)
Effect of Item Arrangement on Perceived Numerosity: Randomness vs Regularity
N. Ginsburg (1976) · SAGE Publications
Completeness issues for inductive assertions and Hoare's method
D. Harel and others (1976) · Tech. Rep
Invention of the integrated circuit
Jack S. Kilby (1976) · IEEE Transactions on Electron Devices · IEEE
Symbolic execution and program testing
James C. King (1976) · Communications of the ACM · Association for Computing Machinery (ACM)
The work of Kurt Gödel
Stephen Cole Kleene (1976) · The Journal of Symbolic Logic
Algebraic Theories
Ernest G. Manes (1976) · Springer Nature
A Complexity Measure
Thomas J. McCabe (1976) · IEEE Transactions on Software Engineering · IEEE Computer Society
Ethernet: Distributed Packet Switching for Local Computer Networks
Robert M. Metcalfe and others (1976) · Communications of the ACM
Methods for Automated Theorem Proving in Nonclassical Logics
Ch. Morgan (1976) · Institute of Electrical and Electronics Engineers (IEEE)
Compiler generation using denotational semantics
Peter D. Mosses (1976) · Lecture notes in computer science · Springer Science+Business Media
An axiomatic proof technique for parallel programs I
Susan Owicki and others (1976) · Acta Informatica · Springer
A consistent and complete deductive system for the verification of parallel programs
Susan Owicki (1976) · ACM Press
Verifying properties of parallel programs: An axiomatic approach
Susan Owicki and others (1976) · Communications of the ACM · Association for Computing Machinery (ACM)
Crime by Computer
D. B. Parker (1976)
Strum: Structured Microprogram Development System for Correct Firmware
D. A. Patterson (1976) · Institute of Electrical and Electronics Engineers (IEEE)
Semantical considerations on Floyd-Hoare logic
Vaughan R. Pratt (1976) · 17th Annual Symposium on Foundations of Computer Science · IEEE
Using a Microprocessor in an Intelligent Graphics Terminal
Jacques Raymond and others (1976) · Computer · IEEE Computer Society
Arms and Influence
T. C. Schelling (1976)
Educational Uses of the PLATO Computer System: The PLATO System Is Used for Instruction, Scientific Research, and Communications
S. G. Smith and others (1976) · American Association for the Advancement of Science (AAAS)
Refractive indices of lithium niobate
D. S. Smith and others (1976) · Optics Communications · Elsevier BV
Cache system design in the tightly coupled multiprocessor system
C. K. Tang (1976) · ACM Press
Correspondence Theory
J. van Benthem (1976)
Dead-Beat Automata and Asynchronous Parallel Processes Control
V. I. Varshavsky and others (1976) · IFAC Proceedings Volumes · Elsevier BV
A new incompleteness result for Hoare's system
Mitchell Wand (1976) · ACM Symposium on Theory of Computing (STOC)
Abstraction and Verification in Alphard: Introduction to Language and Methodology
William A. Wulf and others (1976) · Defense Technical Information Center