A notation for non-linear program edits | IEEE Conference Publication | IEEE Xplore