1978
46 references published this year.
Binary Decision Diagrams
Akers (1978) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
A sound complete Hoare-like system for a fragment of PASCAL
K.R. Apt (1978) · Rep. IW 97/78
Fault-tolerance: The survival attribute of digital systems
A. Avižienis (1978) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs
John Backus (1978) · Communications of the ACM · Association for Computing Machinery
Computer Engineering: A DEC View of Hardware Systems Design
Gordon Bell and others (1978) · Digital Press
The Belmont Report: Ethical Principles and Guidelines for the Protection of Human Subjects of Research
National Commission for the Protection of Human Subjects of Biomedical and Behavioral Research (1978) · U.S. Department of Health, Education, and Welfare
Distributed processes: a concurrent programming concept
Per Brinch Hansen (1978) · Communications of the ACM · Association for Computing Machinery
Reproducible testing of monitors
Per Brinch Hansen (1978) · Software: Practice and Experience · Wiley
Unrestricted procedure calls in Hoare's logic
Robert Cartwright and others (1978) · Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78 · ACM Press
Personal computer networks
David Caulkins (1978) · Elsevier BV
A New Solution to Coherence Problems in Multicache Systems
Censier and others (1978) · Institute of Electrical and Electronics Engineers (IEEE)
Hobbyist Computer Bulletin Board
Ward Christensen and others (1978)
High level proof in LCF
Avra Cohn (1978) · Internal Report CSR-35-78
Soundness and completeness of an axiom system for program verification
Stephen A. Cook (1978) · SIAM Journal on Computing
ICARUS: An Interactive Integrated Circuit Layout Program
D.G. Fairbairn and others (1978) · 15th Design Automation Conference · IEEE
The child’s understanding of number
R. Gelman and others (1978) · Harvard University Press
An initial algebra approach to the specification, correctness, and implementation of abstract data types
J. A. Goguen and others (1978) · Current Trends in Programming Methodology, Volume 4: Data Structuring · Prentice-Hall
Notes on data base operating systems
J. N. Gray (1978) · Springer Berlin Heidelberg
The Multiple Assignment Statement
D. Gries (1978) · Institute of Electrical and Electronics Engineers (IEEE)
Abstract Data Types and Software Validation
J.V. Guttag and others (1978) · Communications of the ACM
The algebraic specification of abstract data types
J. V. Guttag and others (1978) · Acta Informatica
Communicating sequential processes
C. A. R. Hoare (1978) · Communications of the ACM · Association for Computing Machinery
A representation of strongly connected automata and its applications
M. Ito (1978) · Elsevier BV
General purpose packet satellite networks
I.M. Jacobs and others (1978) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Cooperation under the Security Dilemma
Robert Jervis (1978) · Project MUSE
Advances in packet radio technology
R.E. Kahn and others (1978) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
Atlanta Fiber System Experiment: Results of the Atlanta Experiment
R. S. Kerdock and others (1978) · Bell System Technical Journal · Institute of Electrical and Electronics Engineers (IEEE)
Time, clocks, and the ordering of events in a distributed system
Leslie Lamport (1978) · Communications of the ACM · Association for Computing Machinery
The Manchester Mark 1 and Atlas: A Historical Perspective
S. H. Lavington (1978) · Communications of the ACM 21, no. 1 (January 1978): 4–12.
O slo~nosti induktivnyh uslovii dlja verifikacii arffmeti~eskih programm (On the complexity of inductive assertions for the verification of arithmetical programs)
I.A. Lomazova (1978) · Materialy Wsesojuznoi Nau~noi StudenSeskoi Konferencii
Proof rules for the programming language Euclid
R.L. London and others (1978) · Springer Science and Business Media LLC
Fortran
Samuel L. Marateck (1978)
A New Physical Mechanism for Soft Errors in Dynamic Memories
Timothy C. May and others (1978) · 16th International Reliability Physics Symposium · IEEE
A theory of type polymorphism in programming
Robin Milner (1978) · Journal of Computer and System Sciences · Elsevier
Using encryption for authentication in large networks of computers
Roger M. Needham and others (1978) · Communications of the ACM · Association for Computing Machinery
Speak, Spell and Read English, Second Edition
Guerd G. Pagels (1978)
Reliability Issues in Computing System Design
B. Randell and others (1978) · ACM Computing Surveys · Association for Computing Machinery
Naming and Synchronization in a Decentralized Computer System
David P. Reed (1978)
Fault Detection Capabilities of Alternating Logic
Dennis A. Reynolds and others (1978) · Institute of Electrical and Electronics Engineers (IEEE)
A method for obtaining digital signatures and public-key cryptosystems
Ronald L. Rivest and others (1978) · Communications of the ACM · Association for Computing Machinery
The Evolution of Packet Switching
Lawrence G. Roberts (1978) · Proceedings of the IEEE
Bibliography on paging and related topics
Alan Jay Smith (1978) · Association for Computing Machinery (ACM)
Hobbyist Computerized Bulletin Board System
Ward Christensen And Suess (1978)
Logical analysis of systems comprising feedback loops
René Thomas (1978) · Journal of Theoretical Biology · Elsevier
UNIX Time-Sharing System: UNIX Implementation
K. Thompson (1978) · Bell System Technical Journal · Institute of Electrical and Electronics Engineers
A New Incompleteness Result for Hoare's System
Mitchell Wand (1978) · Journal of the ACM · Association for Computing Machinery