Semi-static Detection of Runtime Type Errors in Component-Based Java Programs | IEEE Conference Publication | IEEE Xplore