4190 search results - page 34 / 838 » Type Class Directives |
DM
2006
13 years 7 months ago
2006
Let {v; b2, b1} denote the class of extended directed triple systems of the order v in which the number of blocks of the form [a, b, a] is b2 and
ECOOP
1999
Springer
13 years 12 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
DOOD
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic classes. Efficient and...
SP
1999
IEEE
13 years 12 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...