termination-detection-algorithm topic
List
termination-detection-algorithm repositories
reanalyze
272
Stars
20
Forks
Watchers
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
