External Links

    Journal: Foundations and Trends in Programming Languages

    Volume 4, Issue 3-4

    120 -- 372Antoine Miné. Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

    Volume 4, Issue 1-2

    1 -- 119Sumit Gulwani, Oleksandr Polozov, Rishabh Singh. Program Synthesis
    runs on