Stack size analysis for interrupt-driven programs

Krishnendu Chatterjee، نويسنده , , Di Ma، نويسنده , , Rupak Majumdar، نويسنده , , Tian Zhao، نويسنده , , Thomas A. Henzinger، نويسنده , , Jens Palsberg، نويسنده ,

روزنامه با شماره پیاپی سال 2004

31

144

174

Program analysis , Stackbounds , Interrupt programs

Information and Computation

2004

Information and Computation

262259