313
edits
Changes
no edit summary
Abstract interpretation operates on a flowchart representation of the function called a '''control flow graph''' or '''CFG'''. Here is the CFG for the example function:
[[Image:treehydra-cfg.png]]
=Concrete Interpretation=
