Skip to main content
SpringerLink
Log in

Compiling Micro-C

  • Chapter
Programming Language Concepts

Part of the book series: Undergraduate Topics in Computer Science ((UTICS,volume 50))

  • 3680 Accesses

Abstract

In Chap. 2 we considered a simple stack-based abstract machine for the evaluation of expressions with variables and variable bindings. Here we continue that work, and extend the abstract machine so that it can execute programs compiled from an imperative language (micro-C). We also write a compiler from the imperative programming language micro-C to this abstract machine.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Aho, A., Lam, M., Sethi, R., Ullman, J.: Compilers: Principles, Techniques and Tools, 2nd edn. Addison-Wesley, Reading (2006)

    Google Scholar 

  2. Appel, A.W.: Modern Compiler Implementation in ML. Cambridge University Press, Cambridge (1997)

    Book  MATH  Google Scholar 

  3. Backus, J., et al.: The Fortran automatic coding system. In: Western Joint Computer Conference, Los Angeles, CA, pp. 188–198 (1957)

    Google Scholar 

  4. Dijkstra, E.W.: Recursive programming. Numer. Math. 2, 312–318 (1960). At http://oai.cwi.nl/oai/asset/9253/9253A.pdf

    Article  MathSciNet  MATH  Google Scholar 

  5. Dijkstra, E.W.: Algol 60 translation. ALGOL Bull. 10 (1961). At http://www.cs.utexas.edu/users/EWD/MCReps/MR35.PDF

  6. Grune, D.: Compiler construction before 1980 (literature list) (2010). At http://dickgrune.com/Summaries/CS/CompilerConstruction-1979.html

  7. Jensen, J., Naur, P.: An implementation of Algol 60 procedures. ALGOL Bull. 11, 38–47 (1961)

    Google Scholar 

  8. Mogensen, T.: Introduction to Compiler Design. Springer, Berlin (2011)

    Book  Google Scholar 

  9. Randell, B., Russell, L.: Algol 60 Implementation. Academic Press, New York (1964)

    MATH  Google Scholar 

  10. Samelson, K., Bauer, F.: Sequential formula translation. Commun. ACM 3(2), 76–83 (1960)

    Article  MathSciNet  MATH  Google Scholar 

  11. Wirth, N.: Algorithms + Data Structures = Programs. Prentice-Hall, New York (1976)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IT University of Copenhagen, Copenhagen, Denmark

    Peter Sestoft

Authors
  1. Peter Sestoft
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag London

About this chapter

Cite this chapter

Sestoft, P. (2012). Compiling Micro-C. In: Programming Language Concepts. Undergraduate Topics in Computer Science, vol 50. Springer, London. https://doi.org/10.1007/978-1-4471-4156-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-4156-3_8

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-4155-6

  • Online ISBN: 978-1-4471-4156-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation