Fast Graph Simplification for Interleaved-Dyck Reachability.
Saved in:
| Title: | Fast Graph Simplification for Interleaved-Dyck Reachability. |
|---|---|
| Authors: | YUANBO LI1, QIRUN ZHANG1, qrzhang@gatech.edu, REPS, THOMAS2, reps@cs.wisc.edu |
| Source: | ACM Transactions on Programming Languages & Systems; 2022, Vol. 44 Issue 2, p1-28, 28p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3492428 |