313
edits
Changes
no edit summary
return k + m + n; // k is constant: 2
}
=Control Flow Graphs=
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:
=Concrete Interpretation=
