Precondition Calculation for Loops Iterating over Data Structures.

Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li

Browse the full QRS paper archive.