Hyperstream processing systems
Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo · 2013
We exploit the apparent similarity between (discrete-time) stream processing and (continuous-time) signal processing and transfer a deductive verification framework from the former to the latter. Our development is based on rigorous semantics that relies on nonstandard analysis (NSA).