Type-directed bounding of collections in reactive programs

DOI10.1007/978-3-030-11245-5_13OpenAlexW2895876325MaRDI QIDQ2287091

Ashutosh Trivedi, Bor-Yuh Evan Chang, Pavol Černý, Tianhan Lu

Publication date: 23 January 2020

Full work available at URL: https://arxiv.org/abs/1810.10443

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Selectively-amortized resource bounding

This page was built for publication: Type-directed bounding of collections in reactive programs