1 citations · 1 across the 3 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Stream Types
Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh +4
We propose a rich foundational theory of typed data streams and stream transformers, motivated by two high-level goals: (1) The type of a stream should be able to express complex s…
cs.DS2023★ 1 cited
Incremental Dead State Detection in Logarithmic Time
Caleb Stanford, Margus Veanes
Identifying live and dead states in an abstract transition system is a recurring problem in formal verification; for example, it arises in our recent work on efficiently deciding r…