Safety Analysis for Dynamic Update of Object Oriented Programs | IEEE Conference Publication | IEEE Xplore