1626 search results - page 234 / 326 » Subtyping with Power Types |
128
click to vote
APN
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...
116
click to vote
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...
121
click to vote
ECHT
1994
15 years 8 months ago
1994
In semantically rich hypertexts it is attractive to enable presentation of a network of nodes and links at different levels action. It is also important that the user can interact...
126
click to vote
POS
1994
Springer
15 years 8 months ago
1994
Springer
nt systems support a single storage abstraction in which all data may be created and manipulated in a uniform manner, regardless of its longevity. In such systems a protection mec...
116
click to vote
SPAA
1990
ACM
15 years 8 months ago
1990
ACM
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...