51

Resolving and exploiting the k -CFA paradox

Year:
2010
Language:
english
File:
PDF, 582 KB
english, 2010
53

Optimizing abstract abstract machines

Year:
2013
Language:
english
File:
PDF, 848 KB
english, 2013
55

Introspective pushdown analysis of higher-order programs

Year:
2012
Language:
english
File:
PDF, 873 KB
english, 2012