Static Slicing and Parametric Polymorphism.

David Byers, Mariam Kamkar

Browse the full SCAM paper archive.