appendix-background: Link to *Static Program Analysis*
A+++++ resource IMHO!
This commit is contained in:
parent
7d4aee2431
commit
55ddb4df95
|
|
@ -76,6 +76,9 @@ cycle.
|
||||||
|
|
||||||
## What is a dataflow analysis?
|
## What is a dataflow analysis?
|
||||||
|
|
||||||
|
[*Static Program Analysis*](https://cs.au.dk/~amoeller/spa/) by Anders Møller
|
||||||
|
and Michael I. Schwartzbach is an incredible resource!
|
||||||
|
|
||||||
*to be written*
|
*to be written*
|
||||||
|
|
||||||
<a name=quantified>
|
<a name=quantified>
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue