489 search results - page 5 / 98 » Type classes as objects and implicits |
CVPR
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a novel system for generic object class detection. In contrast to most existing systems which focus on a single viewpoint or aspect, our approach can detect object inst...
OOPSLA
1989
Springer
13 years 11 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
POPL
2003
ACM
14 years 7 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
ISSRE
2003
IEEE
14 years 10 days ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
ACSC
2001
IEEE
13 years 10 months ago
2001
IEEE
The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time fl...