2 ms·

I can recommend the references listed in "Background: Notation" section of Program Analysis Resources: https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c067

by matt_d 6y ago

I can recommend the references listed in "Background: Notation" section of Program Analysis Resources: https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678ddbef#background-notation https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678dd...