Slide 1 Virtual Machines and Compilers Discrete Mathematics and Its Applications Baojian Hua [email protected] Slide 2 Our Goal We ’ ve defined miniC and miniPentium and…