Type-directed Bounding of Collections in Reactive Programs

Tianhan Lu, Pavol Cerny, Bor-Yuh Evan Chang +1

Our aim is to statically verify that in a given reactive program, the length of collection variables does not grow beyond a given bound. We propose a scalable type-based technique…