Regular Programming for Quantitative Properties of Data Streams

This publication has 35 references indexed in Scilit:

• Satisfiability modulo theories
  Communications of the ACM, 2011
• Quantitative languages
  ACM Transactions on Computational Logic, 2010
• On notions of regularity for data languages
  Theoretical Computer Science, 2010
• Two-variable logic on data trees and XML reasoning
  Journal of the ACM, 2009
• XML Stream Processing
  2009
• Data Streams: Algorithms and Applications
  Foundations and Trends® in Theoretical Computer Science, 2005
• Aurora: a new model and architecture for data stream management
  The VLDB Journal, 2003
• Continuous queries over data streams
  ACM SIGMOD Record, 2001
• Attribute grammar paradigms—a high-level methodology in language implementation
  ACM Computing Surveys, 1995
• Monadic second-order definable graph transductions: a survey
  Theoretical Computer Science, 1994