Alias Verification for Fortran Code Optimization (extended version)

Publication
Journal of Universal Computer Science, IF 1.066