Sciweavers

2 search results - page 1 / 1
» The incarnation and the knowability paradox
Sort
View
38
Voted
SYNTHESE
2010
56views more  SYNTHESE 2010»
14 years 8 months ago
The incarnation and the knowability paradox
Jonathan Kvanvig
PLDI
2010
ACM
15 years 2 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