Testing Extended Regular Language Membership Incrementally by Rewriting-Reference-Cited by-同舟云学术

Testing Extended Regular Language Membership Incrementally by Rewriting

Published:2003 Issue: Volume: Page:499-514
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Roşu Grigore,Viswanathan Mahesh

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44881-0_35

Reference22 articles.

1. V.M. Antimirov. Partial derivatives of regular expressions and finite automaton constructions. Journal of Theoretical Computer Science, 155(2):291–319, 1996.

2. V.M. Antimirov and P.D. Mosses. Rewriting extended regular expressions. Journal of Theoretical Computer Science, 143(1):51–72, 1995.

3. A. K. Chandra, D. C. Kozen, and L. J. Stockmeyer. Alternation. Journal of the ACM, 28(1):114–133, 1981.

4. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http://maude.csl.sri.com .

5. Lect Notes Comput Sci;D. Drusinsky,2000

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05

2. Predictive Monitoring with Strong Trace Prefixes;Lecture Notes in Computer Science;2024

3. Symbolic Boolean derivatives for efficiently solving extended regular expression constraints;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

4. Partial Derivatives for Context-Free Languages;Lecture Notes in Computer Science;2017

5. Montre: A Tool for Monitoring Timed Regular Expressions;Computer Aided Verification;2017