Eliminating Stack Overflow by Abstract Interpretation.
John RegehrAlastair ReidKirk WebbPublished in: EMSOFT (2003)
Keyphrases
- stack overflow
- abstract interpretation
- termination analysis
- unanswered questions
- static analysis
- model checking
- active rules
- dynamic analysis
- plain text
- active databases
- software engineers
- helping users
- reasoning engine
- artificial intelligence
- reverse engineering
- information retrieval
- free text
- software engineering
- object oriented
- search engine