5343 search results - page 595 / 1069 » Keyword programming in java |
156
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
181
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
180
click to vote
IPSN
2009
Springer
16 years 1 months ago
2009
Springer
As the diversity of sensornet use cases increases, the combinations of environments and applications that will coexist will make custom engineering increasingly impractical. We in...
151
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
155
click to vote
TOOLS
2008
IEEE
16 years 28 days ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...