Polymorphism elimination

• Pass 1: front end outputs object ID, runtime type, and all known fields

• Pass 2: given refined type, front end outputs more fields

• Effective for programs tested so far

• Sound for deterministic programs

Previous slide

Next slide

Back to first slide

View graphic version