5343 search results - page 321 / 1069 » Keyword programming in java |
142
click to vote
GI
2004
Springer
16 years 2 days 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...
151
Voted
GPCE
2004
Springer
16 years 2 days 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 (...
160
click to vote
SAS
2004
Springer
16 years 1 days 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...
175
Voted
ECOOP
2003
Springer
15 years 12 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...
146
click to vote
ACISICIS
2009
IEEE
15 years 11 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...