Lackwit: A Program Understanding Tool Based on Type Inference | IEEE Conference Publication | IEEE Xplore