Introduction:

• pptx
• pdf

Compilers in Action

Stack machine

JVM Instructions

Compiled Expression Examples

Compiled Counting Examples

Compiled Factorial Example

The Scala Cafebabe Bytecode Generation Library

Overview of Classfile Constant Pool

VM for Expressions

Prefix Infix Postfix Notation

Printing Prefix Infix Postfix

Languages using Prefix or Postfix Only

Evaluating Postfix

(Continued in Lecture 10)

• JVM Spec
• JVM Instruction Summary from JVM Spec
• JVM Opcodes by Function
• Compiler Construction by Niklaus Wirth - Chapters 9,10,11
• Tiger Book, Chapters 7, 10, 17

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