Dynamic constraint detection for polymorphic behavior.

Nadya Kuzmina, Ruben Gamboa

Browse the full OOPSLA paper archive.