Stack Size Analysis for Interrupt-Driven Programs.

Krishnendu Chatterjee Di Ma Rupak Majumdar Tian Zhao Thomas A. Henzinger Jens Palsberg Stack Size Analysis for Interrupt-Driven Programs. 109-126 2003 conf/sas/2003 SAS http://link.springer.de/link/service/series/0558/bibs/2694/26940109.htm db/conf/sas/sas2003.html#ChatterjeeMMZHP03