4719 search results - page 26 / 944 » Newtonian program analysis |
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
CC
2012
Springer
12 years 3 months ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
PPDP
2010
Springer
13 years 5 months ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...