@openstem shared this flashcard

Software · L5 · Program Analysis & Abstract Interpretation

Dataflow analysis, lattices, fixpoint computation, abstract interpretation, widening, and soundness vs. precision.

Software
Updated
0
0

More in Software

Browse Software

We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy