222
click to vote
ECOOP
16 years 2 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 ...
239
click to vote
ECOOP
16 years 2 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 ...
225
click to vote
ECOOP
16 years 2 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...
216
click to vote
ECOOP
16 years 2 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...
226
click to vote
ECOOP
16 years 2 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