1975
26 references published this year.
An artwork design verification system
H. S. Baird and others (1975) · Proceedings of the 12th Design Automation Conference, DAC ’75, page 414–420 · IEEE Press
On the completeness of the inductive assertion method
Jacobus W. de Bakker and others (1975) · Journal of Computer and System Sciences · Academic Press
Digital Systems Design Automation: Languages, Simulation and Data Base
M. A. Breuer (1975) · Computer Science 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
Axiomatic and interpretive semantics for an ALGOL fragment
S. A. Cook (1975) · Department of Computer Science, University of Toronto
Guarded commands, nondeterminacy and formal derivation of programs
Edsger W. Dijkstra (1975) · Communications of the ACM · Association for Computing Machinery
Complementary definitions of programming language semantics
J. E. Donahue (1975) · Computer Systems Research Group, University of Toronto
Some Connections Between Elementary and Modal Logic
K. Fine (1975) · Elsevier
Theory & Design of Switching Circuits
Arthur D. Friedman and others (1975) · Digital Systems Design Series. Computer Science Press
Statistical Properties of Laser Speckle Patterns
J. W. Goodman (1975) · Springer Berlin Heidelberg
A complete axiomatic system for proving assertions about recursive and non-recursive programs
Gerald Arthur Gorelick (1975)
Theory of Program Structures: Schemes, Semantics, Verification
S. A. Greibach (1975) · Springer Nature
Automatic program verification I: A logical basis and its implementation
Shigeru Igarashi and others (1975) · Acta Informatica · Springer Science and Business Media LLC
TEMPORAL NUMEROSITY DISCRIMINATION: INTERMODAL COMPARISONS REVISITED
Eugene C. Lechelt (1975) · British Journal of Psychology · Wiley
A mathematical approach to language design
George T. Ligler (1975) · ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)
Why Big Nations Lose Small Wars: The Politics of Asymmetric Conflict
Andrew Mack (1975) · Project MUSE
The harmonogram of Karol Adamiecki
E. R. Marsh (1975) · Academy of management Journal
Project Breakthrough! Worlds First Minicomputer Kit to Rival Commercial Models ‘Altair 8800.’
Michael J. Miller (1975)
Processes: A Mathematical Model of Computing Agents
Robin Milner (1975) · Logic Colloquium '73, Proceedings of the Logic Colloquium · Elsevier
On logic and program verification
D. C. Oppen (1975) · Department of Computer Science, University of Toronto
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
Call-by-name, call-by-value and the λ-calculus
Gordon D. Plotkin (1975) · Theoretical Computer Science · Elsevier BV
The protection of information in computer systems
Jerome H. Saltzer and others (1975) · Proceedings of the IEEE · IEEE
Systems Simulation: the Art and Science
R. E. Shannon (1975) · Prentice Hall