Eliminating stack overflow by abstract interpretation.
John RegehrAlastair ReidKirk WebbPublished in: ACM Trans. Embed. Comput. Syst. (2005)
Keyphrases
- stack overflow
- abstract interpretation
- termination analysis
- unanswered questions
- static analysis
- model checking
- active rules
- reasoning engine
- software engineers
- plain text
- dynamic analysis
- helping users
- active databases
- information systems
- integrity constraints
- online resources
- source code
- software engineering
- web services