Efficient Program Analyses Using Deductive and Semantic Methodologies
Towards Ontology-Based Program Analysis