1027 search results - page 128 / 206 » A Model for Java with Wildcards |
111
click to vote
SOFSEM
2010
Springer
16 years 11 days ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
138
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
130
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
120
click to vote
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
SIGMETRICS
2006
ACM
15 years 9 months ago
2006
ACM
The Java Messaging Service (JMS) facilitates communication among distributed software components according to the publish/subscribe principle. If the subscribers install filter r...