Abstract
At the Conference on Programming Methodology in January 1974 at Albuquerque, New Mexico Prof. Edsger Dijkstra described a method of program development in which the imperative form of a program is developed from the assertions which form the correctness proof. In other words the declarative (or non-procedural) aspect of an algorithm guides its implementation into an imperative (or procedural) form. While extremely exciting, this methodology is rather alien to those with traditional training in the imperative method of program development. Since this encompasses almost everyone including most instructors and students, a problem arises in introducing the methodology into the standard computer science curriculum. This paper describes our approach to the problem at New Mexico State and the results.
- 1 Adams, J. M., "Notes on the Conference on Programming Methodology", New Mexico State University Computer Science Department Report, Las Cruces, N. M., May 1974.Google Scholar
- 2 Wirth, N., Systematic Programming: An Introduction, Prentice-Hall, Englewood Cliffs, N. J., 1973. Google Scholar
Digital Library
Index Terms
Teaching declarative programming
Recommendations
Teaching declarative programming
SIGCSE '75: Proceedings of the fifth SIGCSE technical symposium on Computer science educationAt the Conference on Programming Methodology in January 1974 at Albuquerque, New Mexico Prof. Edsger Dijkstra described a method of program development in which the imperative form of a program is developed from the assertions which form the correctness ...
Teaching how to teach computational thinking
ITiCSE 2018: Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science EducationComputational Thinking is argued to be an essential skill for the workforce of the 21st century. As a skill, Computational Thinking should be taught in all schools, employing computational ideas integrated into other disciplines. Up until now, questions ...
The New Mexico Tech Master of Science teaching program: an exemplary model of inquiry-based learning
FIE '01: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01The Master of Science Teaching Program offered by New Mexico Tech provides high quality science, mathematics, engineering, and technology (SMET) content-based, hands-on, experiential learning for practicing K-12 educators and is taught by graduate ...






Comments