DMCA

Static Detection of Loop-Invariant Data Structures

by Guoqing Xu , Dacong Yan , Atanas Rountev
Citations:10 - 7 self