1932 search results - page 265 / 387 » Molecule-oriented programming in Java |
107
click to vote
ATVA
2004
Springer
15 years 6 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
80
Voted
GI
2004
Springer
15 years 6 months ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
83
Voted
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
87
Voted
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
114
click to vote
ECOOP
2003
Springer
15 years 5 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...