521 search results - page 34 / 105 » Object-Oriented Modeling of Object-Oriented Concepts |
JOT
2002
13 years 7 months ago
2002
MOBILWARE
2010
ACM
13 years 5 months ago
2010
ACM
HPDC
2002
IEEE
14 years 20 days ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...
TPHOL
1998
IEEE
13 years 12 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
ECOOP
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...