Computing Interprocedurally Valid Relations in Affine Programs

by Markus Müller-Olm , Helmut Seidl
Citations:3 - 0 self