18 search results - page 2 / 4 » Completeness Analysis for Incomplete Object-Oriented Program... |
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
ICST
2010
IEEE
13 years 3 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
HCI
2009
13 years 2 months ago
2009
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
HPCA
2006
IEEE
14 years 5 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
WCRE
2006
IEEE
13 years 10 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...