Comment by Jtsummers

5 years ago

Ada/SPARK actually has dependencies like that as part of function specs. Including which variables depend on what.

0 comments