4615 search results - page 329 / 923 » Virtual Classes and Their Implementation |
145
click to vote
ECOOP
2005
Springer
16 years 7 days ago
2005
Springer
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
187
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
153
click to vote
ACISP
1999
Springer
15 years 11 months ago
1999
Springer
We use combinatorial methods and permutation groups to classify homogeneous boolean functions. The property of symmetry of a boolean function limits the size of the function’s cl...
177
Voted
IDEAS
1997
IEEE
15 years 11 months ago
1997
IEEE
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
194
Voted
ISKI
1992
15 years 10 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...