Efficient Program Analyses Using Deductive and Semantic Methodologies | IEEE Conference Publication | IEEE Xplore