skip to main content
article
Free Access

Compiling: a high-level introduction using Scheme

Published:01 March 1997Publication History
Skip Abstract Section

Abstract

Traditional compilation courses use formal methods for parsing, but treat the more important semantic aspects informally. We present a one semester course in which compiler development is reduced to a number of transformation steps, each of which is formally specified, easily tested, and clearly motivated by semantic considerations. The source language is substantial (essentially the host language of the compiler) and the target is a popular RISC architecture.

References

  1. 1 AIKEN, A. Cool: a portable project for teaching compiler construction. SiGPLANNotices 31, 7 (July 1996), 19-24.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 CLINGER, W., AND REES, J. (EDITORS) Revised4 report on the algorithmic language Scheme. Lisp Pointers 5, 3 (July-September 1991), 1-55.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 CLINGER, W. D., AND HANSEN, L.T. Lambda, the ultimate label, or a simple optimizing compiler for Scheme. In Proceedings of the 1994 ACM Conference on LISP and Functional Programming (1994), pp. 128- 139.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 DYBVIG, R. K., HIEB, R., AND BUTLER, T. Destination-driven code generation. Tech. Rep. 302, Indiana University, February 1990.]]Google ScholarGoogle Scholar
  5. 5 GUTTMAN, ~. D., AND WAND, M., Eds. VLISP" A Verified Implementation of Scheme. Kluwer, Boston, 1995. Originally published as a special double issue of the journal Lisp and Symbolic Computation (Volume 8, Issue 1/2).]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 HAYNES, C. T., AND HILSDALE, E. Compiling Scheme workshop. http:llwww.cs.indiana.eduleiplcompile, 1996.]]Google ScholarGoogle Scholar
  7. 7 HILSDALE, E., ASHLEY, J. M., DYBVIG, R. K., AND FRIEDMAN, D.P. Compiler construction using scheme. In Functional programming languages in education (FPLE), LNCS 1022 (Nijmegen, The Netherlands, Dee 1995), P. H. Hartel and M. J. Plasmeijer, Eds., Springer-Verlag, Heidelberg, pp. 251-268.]] Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Compiling: a high-level introduction using Scheme

          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 29, Issue 1
            March 1997
            388 pages
            ISSN:0097-8418
            DOI:10.1145/268085
            Issue’s Table of Contents
            • cover image ACM Conferences
              SIGCSE '97: Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
              March 1997
              410 pages
              ISBN:0897918894
              DOI:10.1145/268084

            Copyright © 1997 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 1 March 1997

            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!