Comparing completeness properties of static analyses and their logics (2006)

Cached

Download Links

by David A. Schmidt
Venue:Proc. 2006 Asian Programming Languages and Systems Symposium (APLAS’06), volume 4279 of Lecture Notes in Computer Science
Citations:11 - 4 self