External Links

    Journal: Foundations and Trends in Programming Languages

    Volume 1, Issue 4

    269 -- 381Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani. A Framework For Efficient Modular Heap Analysis
    runs on