Revision as of 21:18, 26 June 2017 edit Matthiaspaul (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 137,876 edits improved ref ← Previous edit		Revision as of 17:16, 12 August 2017 edit undo InternetArchiveBot (talk \| contribs) Bots, Pending changes reviewers 5,686,076 edits Rescuing 1 sources and tagging 0 as dead. #IABot (v1.5beta) Next edit →
Line 19: == External links == * 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://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

Control-flow analysis: Difference between revisions