Detecting loop-carried dependences in programs with dynamic data structures

From MaRDI portal
Publication:868038