1980
72 references published this year.
Artwork Analysis Tools for VLSI Circuits
Clark Marshall Baker (1980) · MIT Laboratory for Computer Science
Tools for Verifying Integrated Circuit Designs
C. Baker and others (1980) · Lambda
Mathematical theory of program correctness
Jacobus W. de Bakker (1980) · Prentice-Hall
Automated workflow control: A key to office productivity
L. S. Baumann and others (1980) · National computer conference
Algebraically specified programming systems and Hoare's logic
J. A. Bergstra and others (1980) · Mathematical Centre, Department of Computer Science, Amsterdam
Security and protection of data in the IBM System/38
Viktors Berstis (1980) · Proceedings - International Symposium on Computer Architecture/Proceedings
A comparison of some algorithms for live variable analysis
S. Biswas and others (1980) · Informa UK Limited
A General Transition Model for Protocols and Communication Services
G. Bochmann (1980) · IEEE Transactions on Communications · Institute of Electrical and Electronics Engineers (IEEE)
Method and system for verifying authenticity safe against forgery
J. Brosow (1980)
An algorithm for MOS logic simulation
R. E. Bryant (1980) · Lambda
Modelling and Verification in Structured Integrated Circuit Design
Irene Buchanan (1980)
Modal Logic
B. F. Chellas (1980) · Cambridge University Press
Comments on "The case for the reduced instruction set computer," by Patterson and Ditzel
Douglas W. Clark and others (1980) · ACM SIGARCH Computer Architecture News · ACM SIGARCH
Proving correctness of coroutines without history variables
Edmund Melson Clarke (1980) · Springer Science and Business Media LLC
Special Feature an Implementation Guide to a Proposed Standard for Floating-Point Arithmetic
Coonen (1980) · Computer · IEEE Computer Society
Two-dimensional spectral analysis of cortical receptive field profiles
J. G. Daugman (1980) · Elsevier BV
Where Next in Computer Aided Learning?
Ernest Edmonds (1980) · Wiley
The Printing Press as an Agent of Change
Elizabeth L. Eisenstein (1980) · Cambridge University Press
Characterizing correctness properties of parallel programs using fixpoints
E. Allen Emerson and others (1980) · Automata, Languages and Programming · Springer Berlin Heidelberg
Human ecology and crime: A routine activity approach
M. Felson and others (1980) · Springer Science and Business Media LLC
An Engineering Approach to Digital Design
W. I. Fletcher (1980) · Prentice-Hall
The FRANZ LISP Manual
J. Foderaro and others (1980)
On the temporal analysis of fairness
Dov Gabbay and others (1980) · ACM Press
The denotational semantics of sequential machines
Michael J. C. Gordon (1980) · Information Processing Letters · Elsevier BV
Assignment and Procedure Call Proof Rules
David Gries and others (1980) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)
Verifying network protocols using temporal logic
B. T. Hailpern and others (1980) · Computer Systems Laboratory, Stanford University
The unreasonable effectiveness of mathematics
Richard Wesley Hamming (1980) · The American Mathematical Monthly · Informa UK Limited
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
David Harel (1980) · Theoretical Computer Science · Elsevier BV
XNET Formats for Internet Protocol Version 4
Jack Haverty (1980)
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
K.L. Heninger (1980) · Institute of Electrical and Electronics Engineers (IEEE)
On observing nondeterminism and concurrency
M. Hennessy and others (1980) · Springer Berlin Heidelberg
A PROCESS COMPUTER FOR EXPERIMENTAL USE
H. Holt (1980) · Elsevier BV
The formulae-as-types notion of construction
William A. Howard (1980) · To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism · Academic Press
The formulas-as-types notion of construction
W Howard (1980) · To H B Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism · Academic press
CRT Controller Handbook
G. Kane (1980) · Osborne/McGraw-Hill
Towards a Theory for Abstract Data Types
D. Kapur (1980) · Laboratory for Computer Science, M.I.T.
Experience with processes and monitors in Mesa
Butler W. Lampson and others (1980) · Communications of the ACM · Association for Computing Machinery
Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions
Hans Langmaack and others (1980) · Automata, Languages and Programming · Springer Berlin Heidelberg
A proof of a theorem of Lipton on Hoare Logic and applications
H. Langmaack (1980) · Ber. 8003
Algebraic analysis of nondeterministic behavior
S. Leinwand and others (1980) · Proceedings of the seventeenth design automation conference on Design automation - DAC '80 · ACM Press
Basic Research in Artificial Intelligence and Foundations of Programming
John McCarthy and others (1980) · Stanford University
The New Routing Algorithm for the ARPANET
J. McQuillan and others (1980) · IEEE Transactions on Communications · Institute of Electrical and Electronics Engineers (IEEE)
Verification of timing constraints on large digital systems
T. M. McWilliams (1980) · ACM Press
Introduction to VLSI Systems
Carver Mead and others (1980) · Addison-Wesley
Definability in Dynamic Logic
Albert R. Meyer and others (1980) · ACM Symposium on Theory of Computing (STOC)
The Representation of Communication and Concurrency
George J. Milne (1980) · California Institute of Technology, Computer Science Department
A Calculus of Communicating Systems
Unattributed (1980) · Springer Berlin Heidelberg
How to derive inductions in LCF
R. Milner (1980) · The University of Edinburgh
Computer education in the 1980s, a somber view
William Mitchell (1980) · ACM Press
A provably secure operating system: The system, its applications, and proofs
P.G. Neumann and others (1980) · Technical Report CSL-116. Computer Science Laboratory
WWMCCS and the Computer that Can
Perry R. Nuhn (1980) · The US Army War College Quarterly: Parameters · USAWC Press
General equivalence of expressivity definitions using strongest postconditions, resp. weakest preconditions
E.R. Olderog (1980) · weakest preconditions. Bet. 8007 · Institut für Informatik, Christian-Albrechts-Universität Kiel
Home Is Where TI-99/4 Will Sort Out Your Problems: A Computer for Fireside Chats
Kenneth Owens (1980)
The case for the reduced instruction set computer
David A. Patterson and others (1980) · ACM SIGARCH Computer Architecture News · ACM SIGARCH
Reaching Agreement in the Presence of Faults
M. Pease and others (1980) · Journal of the ACM · Association for Computing Machinery
Dijkstra's predicate transformers and smyth's powerdomains
G. D. Plotkin (1980) · Springer Berlin Heidelberg
Lambda-definability in the full type hierarchy
G. D. Plotkin (1980) · To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism · Academic Press
Internetwork Protocol Approaches
J. Postel (1980) · IEEE Transactions on Communications · Institute of Electrical and Electronics Engineers
User Datagram Protocol
J. Postel (1980) · RFC Editor
Using category theory to design implicit conversions and generic operators
John C. Reynolds (1980) · Springer Berlin Heidelberg
On Higher Education: The Academic Enterprise in an Era of Rising Student Consumerism
David Riesman (1980)
Understanding hierarchical design
J. A. Rowson (1980)
Relating theories of the lambda-calculus
D. S. Scott (1980) · To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism
Ideas about arbiters
C. L. Seitz (1980) · Lambda
System Timing
Charles L. Seitz (1980) · Introduction to VLSI Systems · Addison-Wesley
Simulation | A tool in an integrated testing environment
Edward W Thompson (1980) · 1980 Test Conference
A feature-integration theory of attention
A. M. Treisman and others (1980) · Elsevier BV
Computing in Algebraic Systems
J. V. Tucker (1980) · Recursion Theory, its Generalisations and Applications · Cambridge University Press
Diffusion of Innovation and Opinion Leadership
P. W. Turnbull and others (1980) · Emerald
The Simulation of MOS Integrated Circuits Using SPICE2
Andrei Vladimirescu and others (1980) · Electronics Research Laboratory, University of California, Berkeley
Specification and verification of the UCLA unix security kernel
Bruce J. Walker and others (1980) · Commun. ACM
The Art of Digital Design
D. Winkel and others (1980) · Prentice-Hall