Eliminating Stack Overflow by Abstract Interpretation
Authors:
- 1 January 2003
- book chapter
- Published by Springer Nature
- p. 306-322
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Static checking of interrupt-driven software2005
- The nesC language2003
- Function inlining under code size constraints for embedded processors2003
- Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysis2003
- A Typed Interrupt CalculusLecture Notes in Computer Science, 2002
- System architecture directions for networked sensors2000
- Bidwidth analysis with application to silicon compilation2000
- Aggressive inlining1997