Stack size analysis for interrupt-driven programs (2003)

by Krishnendu Chatterjee , Di Ma , Rupak Majumdar , Tian Zhao , Thomas A. Henzinger , Jens Palsberg
Venue:In Proceedings of the 10th International Symposium on Static Analysis, volume LNCS 2694
Citations:20 - 2 self