Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
Formalization of properties of recursively defined functions
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
ACM '72 Proceedings of the ACM annual conference - Volume 2
Derivation of axiomatic definitions of programming languages from algorithmic definitions
Proceedings of ACM conference on Proving assertions about programs
A formal approach to code optimization
Proceedings of a symposium on Compiler optimization
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Classics in software engineering
Termination of programs represented as interpreted graphs
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
The application of formal logic to programs and programming
IBM Systems Journal
Survey: A survey of state vectors
Computer Science Review
Hi-index | 0.00 |