1975
8 references published this year.
On the completeness of the inductive assertion method
Jacobus W. de Bakker and others (1975) · Journal of Computer and System Sciences · Academic Press
Intuitionism and formalism
Luitzen Egbertus Jan Brouwer (1975) · Philosophy and Foundations of Mathematics · Elsevier
An assertion language for data structures
Stephen Cook and others (1975) · Proceedings of the 2nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL '75) · Association for Computing Machinery
Guarded commands, nondeterminacy and formal derivation of programs
Edsger W. Dijkstra (1975) · Communications of the ACM · Association for Computing Machinery
A complete axiomatic system for proving assertions about recursive and non-recursive programs
Gerald Arthur Gorelick (1975)
Proving assertions about programs that manipulate data structures
Derek C. Oppen and others (1975) · 7th ACM Symposium on Theory of Computing
Axiomatic Proof Techniques for Parallel Programs
Susan Speer Owicki (1975) · Cornell University
The protection of information in computer systems
Jerome H. Saltzer and others (1975) · Proceedings of the IEEE · IEEE