2000 character limit reached
Stream programs are monoid homomorphisms with state (2507.10799v1)
Published 14 Jul 2025 in cs.PL and cs.DC
Abstract: We define a broad class of deterministic stream functions and show they can be implemented as homomorphisms into a "state" monoid. The homomorphism laws are simpler than the conditions of previous semantic frameworks for stream program optimization, yet retain support for rich equational reasoning over expressive dataflow programs, including sequential composition, parallel composition, and feedback. We demonstrate this using examples of partitioned database joins, stratified negation, and a simplified model of TCP.