Fix Point Computation of Herbrand Equivalence of Expressions in Data Flow Frameworks using Abstract Interpretation

Status: 
Active
Department: 
Computer Science and Engineering
Project type: 
Sponsored Projects
Duration: 
10 January 2023 - 09 January 2026
Principal Investigator: 
Dr. Jasine Babu
Project Number: 
2023-133-CSE-JAB-SERB-SP
Sponsoring Agency: 
SERB MATRICS
Total Budget: 
Rs.660000