Eliminating stack overflow by abstract interpretation
John Regehr, Alastair D. Reid, Kirk Webb[doi] [Google Scholar] [DBLP] [Citeseer]
ACM Transactions Embedded Computing Systems
4(4)
Pages 751-778
2005
Note(s): abstract interpretation, ISA specification
Pages 751-778
2005
Note(s): abstract interpretation, ISA specification