314 search results - page 40 / 63 » An Imperative Object Calculus |
142
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
109
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
111
click to vote
CSL
2001
Springer
15 years 7 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
113
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
132
click to vote
IJCAI
1997
15 years 4 months ago
1997
Object identification—the task of deciding that two observed objects are in fact one and the same object—is a fundamental requirement for any situated agent that reasons about...