Lab for Automated Reasoning and Analysis LARA

Lecture 13: Live-Variable Analysis. Compiling to Register Machines

Continuing Lecture 12

Live Variable Analysis

Register Machines

Register machines are an alternative to compilation to stack-based machines in Lecture 09; they are closer to modern processors.

ARM Architecture

Register Machine Model in Scala

Compiling to Register Machines


cc09/lecture_13.txt · Last modified: 2009/11/29 11:23 by vkuncak