Control-flow analysis: Difference between revisions

Content deleted Content added
See also: +link
External links: Commonscat template.
Line 19:
{{reflist}}
 
== External links ==
{{Commonscat|Control-flow analysis}}
* [https://web.archive.org/web/20140728203154/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://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]
 
[[Category:Control-flow analysis| ]]