@dblp

Scalable context-sensitive flow analysis using instantiation constraints.

, , and . PLDI, page 253-263. ACM, (2000)

Links and resources

Tags