Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg. Stack size analysis for interrupt-driven programs. Inf. Comput., 194(2):144-174, 2004. [doi]
@article{ChatterjeeMMZHP04,
title = {Stack size analysis for interrupt-driven programs},
author = {Krishnendu Chatterjee and Di Ma and Rupak Majumdar and Tian Zhao and Thomas A. Henzinger and Jens Palsberg},
year = {2004},
doi = {10.1016/j.ic.2004.06.001},
url = {http://dx.doi.org/10.1016/j.ic.2004.06.001},
tags = {program analysis, analysis},
researchr = {https://researchr.org/publication/ChatterjeeMMZHP04},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {194},
number = {2},
pages = {144-174},
}