A static analyzer of variable value growth for C programs.
-
Updated
Jan 14, 2026 - Python
#
implicit-computational-complexity
Here are 2 public repositories matching this topic...
My doctoral dissertation ❀
programming-languages formal-methods phd-thesis augusta-university static-program-analysis implicit-computational-complexity
-
Updated
Jul 9, 2026 - TeX
Add this topic to your repo
To associate your repository with the implicit-computational-complexity topic, visit your repo's landing page and select "manage topics."