Alias Verification for Fortran Code Optimization

Publication
Electronic Notes in Theoretical Computer Science - Elsevier Science, International Workshop on Compiler Optimization Meets Compiler Verification, Grenoble, France