Title of article
Stack size analysis for interrupt-driven programs
Author/Authors
Krishnendu Chatterjee، نويسنده , , Di Ma، نويسنده , , Rupak Majumdar، نويسنده , , Tian Zhao، نويسنده , , Thomas A. Henzinger، نويسنده , , Jens Palsberg، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
31
From page
144
To page
174
Keywords
Program analysis , Stackbounds , Interrupt programs
Journal title
Information and Computation
Serial Year
2004
Journal title
Information and Computation
Record number
262259
Link To Document