2290 search results - page 92 / 458 » Extensible Protected Types |
133
click to vote
JFP
2006
15 years 2 months ago
2006
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
125
Voted
CTCS
1987
Springer
15 years 6 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
CHES
2001
Springer
15 years 7 months ago
2001
Springer
Attacks are presented on the IBM 4758 CCA and the Visa Security Module. Two new attack principles are demonstrated. Related key attacks use known or chosen differences between two...
109
Voted
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
The expression problem (aka the extensibility problem) refers to a fundamental dilemma of programming: Can your application be structured in such a way that both the data model and...
145
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...