Artifact of 'Recursive State Machine Guided Graph Folding for Context-Free Language Reachability'

Authors :: Lei, Yuxiang
Sui, Yulei
Tan, Shin Hwei
Zhang, Qirun
Publication Year :: 2023
Publisher :: Zenodo, 2023.
Abstract: This is the artifact of the paper"Recursive State Machine Guided Graph Folding for Context-Free Language Reachability" accepted to PLDI 2023. The artifactis packaged as a Docker image "gf.tar.gz", which is to reproduce the experiment results of the paper. Please see README.pdf for detailed usage of the artifact.

Subjects :: CFL-reachability, recursive state machines, graph simplification

Full Text Access

Tools