14824 search results - page 2862 / 2965 » Security - Introduction |
81
Voted
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
An acceptability envelope is a region of imperfect but acceptable software systems surrounding a given perfect system. Explicitly targeting the acceptability envelope during devel...
109
click to vote
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...