New directions in teaching the fundamentals of computer science — discrete structures and computational analysis
- 1 January 1973
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCSE Bulletin
- Vol. 5 (1) , 60-67
- https://doi.org/10.1145/953053.808080
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- An Assessment of Techniques for Proving Program CorrectnessACM Computing Surveys, 1972
- Computation of powers of multivariate polynomialsover the integersJournal of Computer and System Sciences, 1972
- The definition and validation of the radix sorting techniquePublished by Association for Computing Machinery (ACM) ,1972
- The correctness of numerical algorithmsPublished by Association for Computing Machinery (ACM) ,1972
- Inductive methods for proving properties of programsPublished by Association for Computing Machinery (ACM) ,1972
- Program development by stepwise refinementCommunications of the ACM, 1971
- Proof of a programCommunications of the ACM, 1971
- Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certificationCommunications of the ACM, 1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969