LARA

Lecture 10: Code Generation for Expressions and Statements in Stack Machine Model

(Continuing Lecture 09)

Expressions

VM for Expressions

Evaluating Postfix

Translating Expressions to Stack Machine

Translation Correctness for Expressions

Assignments

Accessing and Storing Variables

Compiled Factorial Example

Sequence

Compiling Statement Sequence

Efficiently Emitting Code

Compiling Control-Flow Statements

Booleans and Data Representation

Branching JVM Instructions

Compiling If Then Else

Compiling While

(Continued in Lecture 10a)

References