Towards an introductory formal programming course
- 12 March 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCSE Bulletin
- Vol. 26 (1) , 121-125
- https://doi.org/10.1145/191033.191079
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Programming languages in the computer science curriculumACM SIGCSE Bulletin, 1992
- Formalizing and implementing Gries' program development method in dynamic logicScience of Computer Programming, 1992
- A debate on teaching computing scienceCommunications of the ACM, 1989
- An axiomatic basis for computer programmingCommunications of the ACM, 1969