Truffle uses partial evaluation (PE) in combination with dynamic speculation and run-time profiling feedback to compile interpreters to highly optimized machine code. This document explains the ...