Stack size analysis for interrupt-driven programs
Authors:
- Krishnendu ChatterjeeKCKrishnendu Chatterjee
- Di MaDMDi Ma
- Rupak MajumdarRMRupak Majumdar
- Tian ZhaoTZTian Zhao
- Thomas A. HenzingerTHThomas A. Henzinger
- Jens PalsbergJPJens Palsberg
- 1 November 2004
- journal article
- Published by Elsevier in Information and Computation
- Vol. 194 (2) , 144-174
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Eliminating Stack Overflow by Abstract Interpretation2003
- Undecidable boundedness problems for datalog programsThe Journal of Logic Programming, 1995
- The complexity of facets (and some facets of complexity)Journal of Computer and System Sciences, 1984