1027 search results - page 1 / 206 » A Model for Java with Wildcards |
ECOOP
2008
Springer
13 years 6 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
SAC
2004
ACM
13 years 10 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
SAC
2005
ACM
13 years 10 months ago
2005
ACM
ACMSE
2007
ACM
13 years 8 months ago
2007
ACM
Categories and Subject Descriptors General Terms Keywords
JOC
2011
12 years 11 months ago
2011
In this paper we introduce a new primitive called identity-based encryption with wildcards, or WIBE for short. It allows a sender to encrypt messages to a whole range of receivers ...