Anindya Banerjee, Thomas P. Jensen. Modular Control-Flow Analysis with Rank 2 Intersection Types. Mathematical Structures in Computer Science, 13(1):87-124, 2003.
@article{BanerjeeJ03:0,
title = {Modular Control-Flow Analysis with Rank 2 Intersection Types},
author = {Anindya Banerjee and Thomas P. Jensen},
year = {2003},
tags = {analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/BanerjeeJ03%3A0},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {13},
number = {1},
pages = {87-124},
}