Formally proving the correctness of integer arithmetic rewrite rules for optimizing address expressions using Coq
Final project for CS 6245: Parallelizing Compilers at Georgia Tech.
Authors: Sparsh Jain and Akshay Deodhar
Parallelizing Compilers Project
Formally proving the correctness of integer arithmetic rewrite rules for optimizing address expressions using Coq
Final project for CS 6245: Parallelizing Compilers at Georgia Tech.
Authors: Sparsh Jain and Akshay Deodhar
Parallelizing Compilers Project