Regular Programming for Quantitative Properties of Data Streams

DOI10.1007/978-3-662-49498-1_2MaRDI QIDQ2802466zbMATH OpenOpenAlexFDO

Authors Dana Fisman, Mukund Raghothaman, Rajeev Alur

Publication date 26 April 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-49498-1_2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Compiler-Assisted Data Streaming for Regular Code Structures
• A universal calculus for stream processing languages
• scientific article; zbMATH DE number 1424324
• On Notions of Regularity for Data Languages
• On notions of regularity for data languages
• Data streams and applications in computer science
• Streamable regular transductions

Cites work

• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• scientific article; zbMATH DE number 1256715 (Why is no real title available?)
• Ambiguity in Graphs and Expressions
• An Effective Algorithm for the Membership Problem for Extended Regular Expressions
• DReX: a declarative language for efficiently evaluating regular string transformations
• Data Streams: Algorithms and Applications
• Finite-memory automata
• Handbook of weighted automata
• Macro tree transducers
• Macro tree transducers, attribute grammars, and MSO definable tree translations.
• Minimization of symbolic automata
• Monadic second-order definable graph transductions: a survey
• On notions of regularity for data languages
• On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
• Quantitative languages
• Regular combinators for string transformations
• Regular functions and cost register automata (invited paper)
• Selection and sorting with limited storage
• Streaming transducers for algorithmic verification of single-pass list-processing programs
• Symbolic finite state transducers: algorithms and applications
• Two-variable logic on data trees and XML reasoning

Cited in

(7)

• Deriving generic bounds for time-series constraints based on regular expressions characteristics
• Quantitative regular expressions for arrhythmia detection algorithms
• Streamable regular transductions
• From LTL to rLTL monitoring: improved monitorability through robust semantics
• A formally verified, optimized monitor for metric first-order dynamic logic
• Derivatives of quantitative regular expressions
• Querying regular languages over sliding windows

Describes a project that uses

Uses Software

• XPath

This page was built for publication: Regular Programming for Quantitative Properties of Data Streams

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