6201 search results - page 969 / 1241 » Implementation of Axiomatic Language |
170
Voted
PLDI
2005
ACM
16 years 7 days ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
191
click to vote
PLDI
2005
ACM
16 years 7 days ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
223
click to vote
VEE
2005
ACM
16 years 6 days ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
196
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
210
click to vote
HT
2004
ACM
16 years 3 days ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...