Scalable context-sensitive flow analysis using instantiation constraints
- 期刊名称ACM SIGPLAN Notices
- 作者Fähndrich, Manuel; Rehof, Jakob; Das, Manuvir
- 卷第35卷
- 期第5期
- 印刷ISSN0362-1340
- 文件大小716.56KB
- 发表时间2000-05-01
- DOI10.1145/358438.349332
- 页码253-263
同期刊推荐
A remark on factorisationAbbott, J. A.; Bradford, R. J.; Davenport, J. H. · ACM SIGSAM Bulletin · 1985
Anatomy of an integralDavenport, J. H. · ACM SIGSAM Bulletin · 1979
GUAVAJoyner, David · ACM SIGSAM Bulletin · 2005
On the computation of syzygiesWall, B. · ACM SIGSAM Bulletin · 1989
Sturm root counting using chebyshev expansionMurakami, Hiroshi · ACM SIGSAM Bulletin · 2011
MATCONTDhooge, A.; Govaerts, W.; Kuznetsov, Yu. A. · ACM SIGSAM Bulletin · 2004
Examples of automatic asymptotic expansionsSalvy, Bruno · ACM SIGSAM Bulletin · 1991
VarIntHellström, Christian · ACM SIGSAM Bulletin · 2011