An Abstract Domain for Objects in Dynamic Programming Languages.

Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni

Browse the full FM paper archive.