10575 search results - page 1834 / 2115 » Programming Languages |
162
click to vote
CJ
2000
15 years 6 months ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
203
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
195
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
172
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
174
click to vote
IAAI
2001
15 years 8 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...