> She realized how important it was to track the state of variables as they changed, introducing a notation to illustrate those changes.

The thing that really stuck out to me was how similar it was to static single assignment. https://en.wikipedia.org/wiki/Static_single-assignment_form#...

I think this is a state-of-the-art technique today and she had it, what, 180 years ago?