Hacker News new | ask | show | jobs
by Jtsummers 1843 days ago
Ada/SPARK actually has dependencies like that as part of function specs. Including which variables depend on what.