158
Voted
OOPSLA
15 years 3 months ago
1995 Springer 
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
136
Voted
CSFW
15 years 4 months ago
1995 IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
119
Voted
CSFW
15 years 4 months ago
1995 IEEE
Powerful applications can be implemented using command scripts. A command script is a program written by one user, called a writer, and made available to another user, called the ...
111
Voted
CSFW
15 years 4 months ago
1995 IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
105
Voted
OOPSLA
15 years 3 months ago
1995 Springer
Existing schemes for object layout and dispatch in the presence of multiple inheritance and separate compilation waste space and are slower than systems with single inheritance. T...
|
Security Privacy