3311 search results - page 416 / 663 » Deductive Object Programming |
114
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
126
click to vote
CVPR
1997
IEEE
15 years 8 months ago
1997
IEEE
Two of the most critical requirementsin support of producing reliableface-recognition systems are a large database of facial images and a testing procedure to evaluate systems. Th...
134
click to vote
POS
1998
Springer
15 years 8 months ago
1998
Springer
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...
154
click to vote
TYPES
1998
Springer
15 years 8 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
131
click to vote
VL
1997
IEEE
15 years 8 months ago
1997
IEEE
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...