@openstem shared this 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.
Software
Updated 0
0
Software