Efficient Incrementalized Runtime Checking of Linear Measures on Lists | IEEE Conference Publication | IEEE Xplore