213
click to vote
ECOOP
16 years 1 months ago
2009 Springer 
Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this ...
229
Voted
ECOOP
16 years 1 months ago
2009 Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
212
click to vote
ECOOP
16 years 1 months ago
2009 Springer 
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
201
Voted
ECOOP
16 years 1 months ago
2009 Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
217
click to vote
ECOOP
16 years 1 months ago
2009 Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
|
Programming Languages