Shared collection
Software · L5 · Program Analysis & Abstract Interpretation
Graduate-level program analysis: dataflow analysis as fixpoint computation, Cousot & Cousot's abstract interpretation, widening, and the sound/complete/decidable boundary.
We use privacy-friendly product analytics (no session recording, PII masked) to improve OpenStem. Load analytics? Privacy Policy