1977
38 references published this year.
Issues in the formal specification of programming languages
E. Anderson and others (1977) · Formal Description of Programming Concepts
Semantics and proof theory of pascal procedures
K. R. Apt and others (1977) · Springer Berlin Heidelberg
A Survey of Modern Algebra
Garrett Birkhoff and others (1977) · Macmillan
On an upper bound of a graph's chromatic number, depending on the graph's degree and density
O.V Borodin and others (1977) · Journal of Combinatorial Theory, Series B · Elsevier BV
Inert rights and conspirators in the TAKE/GRANT system
T. Budd and others (1977) · Technical report
A Fast Computational Algorithm for the Discrete Cosine Transform
Wen-Hsiung Chen and others (1977) · IEEE Transactions on Communications · Institute of Electrical and Electronics Engineers (IEEE)
Program invariants as fixed points
Edmund Melson Clarke (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) · IEEE
Internetting or Beyond NCP
Danny Cohen (1977) · Information Sciences Institute, University of Southern California
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot and others (1977) · 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
Periods of Connected Networks and Powers of Nonnegative Matrices
Eric V. Denardo (1977) · Institute for Operations Research and the Management Sciences (INFORMS)
DATAPAC: A Canadian packet switching network
S. B. Erskine (1977) · Canadian Electrical Engineering Journal · Institute of Electrical and Electronics Engineers
The Logic of Topoi
Michael P. Fourman (1977) · HANDBOOK OF MATHEMATICAL LOGIC · Elsevier
Theory and Design of Switching Circuits
A. D. Friedman and others (1977) · Pitman
The ARPANET/TENEX Primer and the MSG Message Handling Program
Chloe Holg (1977) · CA: University of Southern California Marina Del Ray Information Sciences Institute, 1977.
On the proper treatment or referencing, dereferencing and assignment
T. M. V. Janssen and others (1977) · Automata, Languages and Programming · Springer Berlin Heidelberg
Even Simple Programs Are Hard To Analyze
Neil D. Jones and others (1977) · Journal of the ACM · Association for Computing Machinery (ACM)
Doctrines in Categorical Logic
Anders Kock and others (1977) · HANDBOOK OF MATHEMATICAL LOGIC · Elsevier
The Computational Complexity of Provability in Systems of Modal Propositional Logic
R. Ladner (1977) · Society for Industrial & Applied Mathematics (SIAM)
Proving the Correctness of Multiprocess Programs
L. Lamport (1977) · Institute of Electrical and Electronics Engineers (IEEE)
Quantum Mechanics: Non-Relativistic Theory
L. D. Landau and others (1977) · Pergamon Press
Hardware description languages: voices from the Tower of Babel
G. Jack Lipovski (1977) · Computer
A necessary and sufficient condition for the existence of Hoare logics
Richard J. Lipton (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) · IEEE
First Order Categorical Logic
M. Makkai and others (1977) · Springer-Verlag
A Course in Mathematical Logic
Yu. I. Manin (1977) · Springer New York
The Effect of Asynchronous Inputs on Sequential Network Reliability
Marino (1977) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
The ARPA Network Design Decisions
John M. McQuillan and others (1977) · Computer Networks · North-Holland Publishing Company
A mathematical model of concurrent computation
G. J. Milne (1977)
Algorithmic logic and its applications in the theory of programs II1
G. Mirkowska (1977) · SAGE Publications
Reasoning about knowledge and action
R. C. Moore (1977) · IJCAI-5
The Cambridge CAP computer and its protection system
Roger M. Needham and others (1977) · ACM Press
Microelectronics
Robert N. Noyce (1977) · Scientific American · Scientific American
The temporal logic of programs
Amir Pnueli (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
Audit and evaluation of computer security
Z. G. Ruthberg and others (1977) · National Bureau of Standards
A Structure for Plans and Behavior
E. D. Sacerdoti (1977) · American Elsevier
Special Feature The Total Computer Security Problem: an Oveview
K.S. Shankar (1977) · Computer · IEEE Computer Society
Axioms for total correctness
Stefan Sokołowski (1977) · Acta Informatica · Springer Science+Business Media
Total correctness for procedures
Stefan Sokołowski (1977) · Springer Berlin Heidelberg
Hardware Verification
Todd Jeffry Wagner (1977)