Abstract
Through the use of interpreters it is possible to teach programming languages in an analytic way without the mathematical overhead associated with other formal methods. This is a natural evolution of programming language pedagogy from present approaches that are largely descriptive. As a bonus, students receive training in the use of meta-linguistic abstraction in program design. An example of this approach is presented along with suggested variations and discussion of a number of practical considerations that may be crucial to success in the classroom.
- 2 FRIEDMAN, D. P., AND FELLEISEN, M. The Little Schemer, fourth ed. MIT Press, 1996.Google Scholar
- 3 FRIEDMAN, D. P., WAND, M., AND HAYNES, C. T. Essentials of Programmmg Languages. MIT Press and McGraw-Hill, 1991. Google Scholar
Digital Library
- 4 GUNTER, C.A. Semantics of Programming Languages. MIT Press, 1992. Google Scholar
Digital Library
- 5 HAYNES, C. T. Compiling: A high-level introduction using scheme. In Proceedings of the Twenty.Eighth SIGCSE Technical Symposium on Computer Science Education (1997), pp. 253-257. Google Scholar
Digital Library
- 6 HAYNES, C. T. Type ch'ecking and inference. Techni- Cal Report 491, Indiana University, Bloomington, Indiana, 1997.Google Scholar
- 7 JOHN MCCARTHY, et aL. LISP 1.5 Programmer's Manual. MIT Press, 1962. Google Scholar
Digital Library
- 8 KAMIN, S.N. Programming Languages: An lmterpreter-basedApproach, aw, 1990. Google Scholar
Digital Library
- 9 MACLENNAN, B. J'. Principles of Programming Languages: Design, Evolu'tion, and Implementation, seei0'~d ed. Holt-Rinehart & Winston, 1997. Google Scholar
Digital Library
- 10 'MANIS, V. S., AND LITTLE, J. J. The Schematics of Computation. Prentice-Hall, 1995. Google Scholar
Digital Library
- 11 SETHI, R. Programming Languages: Concepts and Constructs, second ed. Addison-Wesley, 1996. Google Scholar
Digital Library
- 12 SUSSMAN, G. J., AND STEELE JR., G. L. Scheme: an interpreter for extended lambda calculus. Teeh. Rep. AI 'Memo No. 349, MIT Artificial Intelligence Laboratory, 1975. Google Scholar
Digital Library
- 13 www'cs'indiana'edu/seheme-rep~sit~ry"Google Scholar
- 14 www.cs.indiana.edu/eip.1Google Scholar
- 15 WINSKEL, G. The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993. Google Scholar
Digital Library
Index Terms
Experience with an analytic approach to teaching programming languages
Recommendations
Experience with an analytic approach to teaching programming languages
SIGCSE '98: Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science educationThrough the use of interpreters it is possible to teach programming languages in an analytic way without the mathematical overhead associated with other formal methods. This is a natural evolution of programming language pedagogy from present approaches ...
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