2335 search results - page 163 / 467 » Type Checking Type Classes |
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Radio resources in the third generation (3G) wireless cellular networks (WCNs) such as the universal mobile telecommunications system (UMTS) network is limited in term of soft ...
FOCS
1998
IEEE
14 years 2 months ago
1998
IEEE
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
KR
2000
Springer
14 years 1 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
ECOOP
2008
Springer
14 years 1 days ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
SAC
2006
ACM
13 years 10 months ago
2006
ACM
The second-class formulation of generics in Java 5.0 discards generic type information during compilation. As a result, Java 5.0 prohibits run-time type-dependent operations, gene...