![](https://www.mitacs.ca/wp-content/uploads/2023/12/generic-logo-background.png)
We want to study the feasibility of using an algebra-based approach to performing program analysis. In particular, we are interested in the code comparison problem: tackling this problem enables us, among other things, to identify differences between two versions of a code or to check whether an optimized code is equivalent to its non-optimized version. […]
Read More