Optimization
vbcc.pdf
Compiler Construction Lecture 15 Introduction to Program Analysis.
Your Compiler Your Compiler Java Virtual Machine (JVM) Bytecode i=0 while (i < 10) { a[i] = 7*i+3 i = i + 1 } i=0 while (i < 10) { a[i] = 7*i+3 i = i +
Program Analysis auxiliary information (hints, proof steps, types) Can come from compiler or user Goal: Automatically computes potentially useful information.
![Your Compiler Your Compiler Java Virtual Machine (JVM) Bytecode i=0 while (i < 10) { a[i] = 7*i+3 i = i + 1 } i=0 while (i < 10) { a[i] = 7*i+3 i = i +](https://static.fdocuments.us/doc/330x215/56649e0f5503460f94afa758/your-compiler-your-compiler-java-virtual-machine-jvm-bytecode-i0-while-i.jpg)
