Sciweavers

ECOOPW
1999
Springer
14 years 3 months ago
Security Properties of Typed Applets
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
Xavier Leroy, François Rouaix
ECOOPW
1999
Springer
14 years 3 months ago
Understanding Object Oriented Software Systems without Source Code Inspection
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
Gerd Köhler, Heinrich Rust, Frank Simon
ECOOPW
1999
Springer
14 years 3 months ago
Flexible Aliasing with Protection
Unwanted effects of aliasing cause encapsulation problems in object oriented programming. Nevertheless, aliasing is part of common and efficient programming techniques for expres...
Günter Kniesel, Dirk Theisen
ECOOPW
1999
Springer
14 years 3 months ago
Partial Redundancy Elimination for Access Path Expressions
Antony L. Hosking, Nathaniel Nystrom, David Whitlo...
ECOOPW
1999
Springer
14 years 3 months ago
Wrap-Up
Gregor Kiczales