Sciweavers

2 search results - page 1 / 1
» The incarnation and the knowability paradox
Sort
View
PLDI
2010
ACM
13 years 10 months ago
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
Matthew Might, Yannis Smaragdakis, David Van Horn