Type-Directed Bounding of Collections in Reactive Programs.

Tianhan Lu, Pavol Cern, Bor-Yuh Evan Chang, Ashutosh Trivedi

Browse the full VMCAI paper archive.