Henry M. Walker
- ACM Curriculum Committee on Computer Science, Curriculum 78: Recommendations for the undergraduate program in computer science. Communications of the ACM, 22 (3), 1979: 151--197.Google Scholar
- ACM/IEEE-CS Joint Curriculum Task Force, Computing Curricula 1991, IEEE Computer Society Press, 1991.Google Scholar
- ACM/IEEE-CS Task Force on the Curriculum. Computing Curricula 2001. ACM and the IEEE Press, New York, December 2001.Google Scholar
- Ernst, M. D., Griswold, W G., Kataoka, Y, and Notkin, D., Dynamically Discovering Pointer-Based Program Invariants, University of Washington Technical Report UW-CSE-99-02, November 16, 1999. URL: https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.40.2180&rep=rep1&type=pdf Accessed 2022 May 28.Google Scholar
- Gries, D., The Science of Programming, Springer-Verlag, 1981.Google ScholarCross Ref
- Joint Task Force on Computing Curricula, Computer Science Curricula 2013, ACM, IEEE, IEEE Computer Society, URL: https://www.acm.org/binaries/content/assets/education/cs2013_web_final.pdf. Accessed 2022 Jun 18.Google Scholar
- Walker, H. M., "Modules to Introduce Assertions and Loop Invariants Informally Within CS1: Experiences and Observations", SIGCSE Bulletin, Vol. 30, No. 2, June 1998, pp. 31--35. Accessed 2022 May 21. Google ScholarDigital Library
Comments