External Links

    Journal: Foundations and Trends in Programming Languages

    Volume 6, Issue 3-4

    159 -- 317Ranjit Jhala, Niki Vazou. Refinement Types: A Tutorial

    Volume 6, Issue 1-2

    1 -- 158Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival. Shape Analysis
    runs on