학술논문
Control-flow analysis of function calls and returns by abstract interpretation
Document Type
Article
Author
Source
In Information and Computation February 2012 211:49-76
Subject
Language
ISSN
0890-5401