Derivatives of quantitative regular expressions

DOI10.1007/978-3-319-63121-9_4MaRDI QIDQ5217297zbMATH OpenOpenAlexFDO

Authors Konstantinos Mamouras, Dogan Ulus, Rajeev Alur

Publication date 24 February 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63121-9_4

Mathematics Subject Classification ID

Database theory (68P15) Formal languages and automata (68Q45) Online algorithms; streaming algorithms (68W27)

Recommendations

• Regular Programming for Quantitative Properties of Data Streams
• Regular-expression derivatives re-examined
• Derivatives of regular expressions and an application
• Derivatives of regular expressions with cuts
• Partial derivatives of regular expressions and finite automata constructions

Cited in

(7)

• On the quantitative semantics of regular expressions over real-valued signals
• Streamable regular transductions
• Two-sided derivatives for regular expressions and for hairpin expressions
• Derivatives for Enhanced Regular Expressions
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Quantitative regular expressions for arrhythmia detection algorithms
• Calculational design of a regular model checker by abstract interpretation

This page was built for publication: Derivatives of quantitative regular expressions

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