A good selection of topics on static analysis is in
F Nielson, HR Nielson, C Hankin. Principles of Program Analysis
Some prerequisites for it and other relevant things can be picked up from
K Cooper, L Torczon. Engineering a Compiler
HR Nielson, F Nielson. Semantics with Applications: An Appetizer
A good selection of topics on static analysis is in
F Nielson, HR Nielson, C Hankin. Principles of Program Analysis
Some prerequisites for it and other relevant things can be picked up from
K Cooper, L Torczon. Engineering a Compiler
HR Nielson, F Nielson. Semantics with Applications: An Appetizer