Content deleted Content added
→See also: since this page is mostly talking about inter-procedural, here's a cup of coffee for you |
|||
Line 37:
== External links ==
* http://pages.cs.wisc.edu/~cs701-1/NOTES/3.CONTROL-FLOW-ANALYSIS.html for textbook intraprocedural CFA in imperative languages
* http://cs.au.dk/~jmi/Midtgaard-CSur-final.pdf CFA in functional programs (survey)
* http://cgi.di.uoa.gr/~smaragd/kcfa-pldi10.pdf for the relationship between CFA analysis in functional languages and points-to analysis in imperative/OOP languages
| |||