search

steshaw / plt

Programming Language Theory λΠ
https://steshaw.org/plt/
5.24k stars 340 forks source link

Add Program analysis #47

Closed MarisaKirisame closed 4 years ago

MarisaKirisame commented 5 years ago

principle of program analysis https://cs.au.dk/~amoeller/spa/spa.pdf

steshaw commented 4 years ago

Nice book! I've added it to "Compiler Construction" for want of a better location.

MarisaKirisame commented 4 years ago

@steshaw hmm... program analysis do get used in compiler, but ppl also use it for bug finding. maybe it deserve it's own category?

steshaw commented 4 years ago

I know what you mean but I don't have a program analysis category right now ...