3311 search results - page 298 / 663 » Deductive Object Programming |
123
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
103
Voted
ECOOP
2001
Springer
15 years 7 months ago
2001
Springer
This paper takes polymorphism to the multi-object level. Traditional inheritance, polymorphism, and late binding interact nicely to provide both flexibility and safety – when a ...
103
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We examine the shape from shading problem without boundary conditions as a polynomial system. This view allows, in generic cases, a complete solution for ideal polyhedral objects....
141
click to vote
ESOP
2005
Springer
15 years 8 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...
119
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...