Efficient Incrementalized Runtime Checking of Linear Measures on Lists.

Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan

Browse the full ICST paper archive.