Albert Cohen, Jean-Francois Collard. Instance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions. In IEEE PACT. pages 332-339, 1998. [doi]
@inproceedings{CohenC98,
title = {Instance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions},
author = {Albert Cohen and Jean-Francois Collard},
year = {1998},
url = {http://computer.org/proceedings/pact/8591/85910332abs.htm},
tags = {program analysis, analysis, context-aware},
researchr = {https://researchr.org/publication/CohenC98},
cites = {0},
citedby = {0},
pages = {332-339},
booktitle = {IEEE PACT},
}