Precondition Calculation for Loops Iterating over Data Structures | IEEE Conference Publication | IEEE Xplore