Type-directed bounding of collections in reactive programs

DOI10.1007/978-3-030-11245-5_13MaRDI QIDQ2287091zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Typing noninterference for reactive programs
• Bounded synthesis of reactive programs
• Safe functional reactive programming through dependent types
• Functional reactive types
• scientific article; zbMATH DE number 2085163
• Type safe incremental rebinding
• scientific article; zbMATH DE number 1231454
• Higher-order functional reactive programming in bounded space
• Polymorphic type inference and containment
• scientific article; zbMATH DE number 3930968

Cited in

(3)

• Selectively-amortized resource bounding
• Functional reactive types
• Selective Memoization with Box Types

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287091)