Sciweavers

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