External Links

    Journal: Foundations and Trends in Programming Languages

    Volume 3, Issue 4

    231 -- 284Martin T. Vechev, Eran Yahav. Programming with "Big Code"
    runs on