1027 search results - page 5 / 206 » A Model for Java with Wildcards |
FIDJI
2004
Springer
14 years 22 days ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
ERSHOV
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
ADC
2008
Springer
14 years 1 months ago
2008
Springer
This article describes how to implement efficient memory resident path indexes for semi-structured data. Two techniques are introduced, and they are shown to be significantly fas...
PKC
2007
Springer
14 years 1 months ago
2007
Springer
We present the first identity-based traitor tracing scheme. The scheme is shown to be secure in the standard model, assuming the bilinear decision Diffie-Hellman (DBDH) is hard in...