2596 search results - page 101 / 520 » Gradual Typing for Objects |
138
Voted
EIT
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the more pertinent domain objects....
144
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
230
click to vote
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
Extracting and integrating object information from the Web is of great significance for Web data management. The existing Web information extraction techniques cannot provide sati...
136
Voted
FMOODS
2007
15 years 4 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
127
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a novel approach for unsupervised discovery of repetitive objects from 3D point clouds. Our method assumes that objects are geometrically consistent, and uses multiple o...