Hyperstream processing systems, nonstandard modeling of continuous-time signals

DOI10.1145/2429069.2429120MaRDI QIDQ2931818zbMATH OpenOpenAlexFDO

Authors Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo

Publication date 27 November 2014

Published in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2429069.2429120

zbMATH Keywords

hybrid systemnonstandard analysissignal processingstream processingtype system

Mathematics Subject Classification ID

Logic in computer science (03B70) Other applications of nonstandard models (economics, physics, etc.) (03H10) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Continuity of operators on continuous and discrete time streams
• Computability of operators on continuous and discrete time streams
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• A non-standard semantics for Kahn networks in continuous time
• Semantic Foundations for Deterministic Dataflow and Stream Processing

Cited in

(5)

• Reverse formalism 16
• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
• Relational differential dynamic logic
• A Nonstandard Functional Programming Language
• Continuity of operators on continuous and discrete time streams

This page was built for publication: Hyperstream processing systems, nonstandard modeling of continuous-time signals

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