Hyperstream processing systems

DOI10.1145/2429069.2429120zbMath1301.68105OpenAlexW2041378910MaRDI QIDQ2931818

Hiroyoshi Sekine, Ichiro Hasuo, Kohei Suenaga

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

nonstandard analysissignal processinghybrid systemtype systemstream processing

Mathematics Subject Classification ID

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

Related Items (5)

Relational Differential Dynamic Logic ⋮ A Nonstandard Functional Programming Language ⋮ Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis ⋮ Reverse formalism 16 ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

This page was built for publication: Hyperstream processing systems