5343 search results - page 321 / 1069 » Keyword programming in java |
109
Voted
GI
2004
Springer
15 years 9 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...
106
Voted
GPCE
2004
Springer
15 years 9 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 (...
112
Voted
SAS
2004
Springer
15 years 9 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...
139
Voted
ECOOP
2003
Springer
15 years 8 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...
109
Voted
ACISICIS
2009
IEEE
15 years 8 months ago
2009
IEEE
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...