Slides: pptx, pdf

Corresponding wiki material:

• Compilers in Action
• Stack machine
• JVM Instructions
• Compiled Expression Examples
• Overview of Classfile Constant Pool by example
• A Byte Code Generation Library: Cafebabe on github

VM for Expressions

Prefix Infix Postfix Notation

Printing Prefix Infix Postfix

Languages using Prefix or Postfix Only

Evaluating Postfix

Translating Expressions to Stack Machine

Translation Correctness for Expressions

• CompCert - A C Compiler whose Correctness has been Formally Verified

Accessing and Storing Variables

Compiled Factorial Example (step-by-step explanation of generated code)

• JVM Spec
• Compiler Construction by Niklaus Wirth - Chapters 9,10,11
• Tiger Book, Chapter 7