3342 search results - page 452 / 669 » Automating Abstract Interpretation |
110
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
104
Voted
JFP
2008
15 years 23 days ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
107
Voted
JCT
2006
15 years 23 days ago
2006
Abstract. Previous research extending over a few decades has established that multiplicatively large sets (in any of several interpretations) must have substantial additive structu...
96
Voted
KI
2008
Springer
15 years 22 days ago
2008
Springer
Abstract. Mobile intention recognition is the problem of inferring an agent's intentions from the spatio-temporal behavior she shows. We present a framework for mobile intenti...
JUCS
2006
15 years 22 days ago
2006
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...