skip to main content
article
Free Access

Experience with an analytic approach to teaching programming languages

Published:01 March 1998Publication History
Skip Abstract Section

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.

References

  1. 2 FRIEDMAN, D. P., AND FELLEISEN, M. The Little Schemer, fourth ed. MIT Press, 1996.Google ScholarGoogle Scholar
  2. 3 FRIEDMAN, D. P., WAND, M., AND HAYNES, C. T. Essentials of Programmmg Languages. MIT Press and McGraw-Hill, 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 4 GUNTER, C.A. Semantics of Programming Languages. MIT Press, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 6 HAYNES, C. T. Type ch'ecking and inference. Techni- Cal Report 491, Indiana University, Bloomington, Indiana, 1997.Google ScholarGoogle Scholar
  6. 7 JOHN MCCARTHY, et aL. LISP 1.5 Programmer's Manual. MIT Press, 1962. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 8 KAMIN, S.N. Programming Languages: An lmterpreter-basedApproach, aw, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 9 MACLENNAN, B. J'. Principles of Programming Languages: Design, Evolu'tion, and Implementation, seei0'~d ed. Holt-Rinehart & Winston, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 10 'MANIS, V. S., AND LITTLE, J. J. The Schematics of Computation. Prentice-Hall, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 11 SETHI, R. Programming Languages: Concepts and Constructs, second ed. Addison-Wesley, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 13 www'cs'indiana'edu/seheme-rep~sit~ry"Google ScholarGoogle Scholar
  13. 14 www.cs.indiana.edu/eip.1Google ScholarGoogle Scholar
  14. 15 WINSKEL, G. The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Experience with an analytic approach to teaching programming languages

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM SIGCSE Bulletin
          ACM SIGCSE Bulletin  Volume 30, Issue 1
          Mar. 1998
          376 pages
          ISSN:0097-8418
          DOI:10.1145/274790
          Issue’s Table of Contents
          • cover image ACM Conferences
            SIGCSE '98: Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
            March 1998
            396 pages
            ISBN:0897919947
            DOI:10.1145/273133

          Copyright © 1998 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 March 1998

          Check for updates

          Qualifiers

          • article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!