8132 search results - page 380 / 1627 » Dependability, Abstraction, and Programming |
169
Voted
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
167
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
176
Voted
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
157
click to vote
SPIN
2007
Springer
16 years 29 days ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
196
Voted
TGC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...