3 ms·
Yes. Symbolic execution is an example of abstract interpretation. Not sure why the snark, that's fairly accepted terminology.
by arnarbi 9y ago
Yes. Symbolic execution is an example of abstract interpretation.
Not sure why the snark, that's fairly accepted terminology.