2596 search results - page 107 / 520 » Gradual Typing for Objects |
JOT
2007
15 years 3 months ago
2007
The paper describes how the idea of persistent objects is integrated into the Timor programming language. The strategy adopted allows types to be instantiated at two levels: as &q...
110
click to vote
PPPJ
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
129
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
132
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by referenc...
125
Voted
NIPS
2008
15 years 4 months ago
2008
We study convergence properties of empirical minimization of a stochastic strongly convex objective, where the stochastic component is linear. We show that the value attained by t...