Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting
Semaphore
Reachability problem
Confluence
DOI:
10.1016/j.jlamp.2023.100903
Publication Date:
2023-08-06T01:03:12Z
AUTHORS (2)
ABSTRACT
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (39)
CITATIONS (3)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....