1724 search results - page 298 / 345 » Abstract Interpreters for Free |
145
click to vote
JFP
2008
15 years 5 months 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. ...
143
Voted
JCT
2006
15 years 5 months 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...
130
Voted
KI
2008
Springer
15 years 5 months 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...
134
click to vote
JUCS
2006
15 years 5 months 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...
171
click to vote
FAC
2007
15 years 5 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...