A PROCEDURE FOR CHECKING EQUALITY OF REGULAR EXPRESSIONS

被引：11
|
作者：
GINZBURG, A
机构：
来源：
JOURNAL OF THE ACM | 1967年 / 14卷 / 02期
关键词：
D O I：
10.1145/321386.321399
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：355 / &
相关论文
共 50 条
  • [1] Automatic Checking of Regular Expressions
    Larson, Eric
    2018 IEEE 18TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2018, : 225 - 234
  • [2] Checking Determinism of Regular Expressions with Counting
    Chen, Haiming
    Lu, Ping
    DEVELOPMENTS IN LANGUAGE THEORY (DLT 2012), 2012, 7410 : 332 - 343
  • [3] Checking determinism of regular expressions with counting
    Chen, Haiming
    Lu, Ping
    INFORMATION AND COMPUTATION, 2015, 241 : 302 - 320
  • [4] Control-flow checking via regular expressions
    Benso, A
    Di Carlo, S
    Di Natale, G
    Prinetto, P
    Tagliaferri, L
    10TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2001, : 299 - 303
  • [5] Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
    Mamouras, Konstantinos
    Le Glaunec, Alexis
    Li, Wu Angela
    Chattopadhyay, Agnishom
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (PLDI):
  • [6] Model checking interval temporal logics with regular expressions ?
    Bozzelli, Laura
    Molinari, Alberto
    Montanari, Angelo
    Peron, Adriano
    INFORMATION AND COMPUTATION, 2020, 272 (272)
  • [7] A Decision Procedure for Bisimilarity of Generalized Regular Expressions
    Bonsangue, Marcello
    Caltais, Georgiana
    Goriac, Eugen-Ioan
    Lucanu, Dorel
    Rutten, Jan
    Silva, Alexandra
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 226 - +
  • [8] Algorithms for Checking Intersection Non-emptiness of Regular Expressions
    Su, Weihao
    Li, Rongchen
    Peng, Chengyao
    Chen, Haiming
    THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 216 - 235
  • [9] Model Checking CTMDP against Temporal Specifications Characterized by Regular Expressions
    Niu, Jun
    Zeng, Guosun
    Niu, Jun
    Zhan, Weihua
    2013 FOURTH WORLD CONGRESS ON SOFTWARE ENGINEERING (WCSE), 2013, : 107 - 111
  • [10] Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking
    Colazzo, D.
    Ghelli, G.
    Pardini, L.
    Sartiani, C.
    THEORETICAL COMPUTER SCIENCE, 2013, 492 : 88 - 116
12345