1937 search results - page 268 / 388 » Adaptation-based programming in java |
121
Voted
SAS
2004
Springer
15 years 10 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...
149
click to vote
ECOOP
2003
Springer
15 years 10 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...
118
click to vote
ACISICIS
2009
IEEE
15 years 9 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...
135
click to vote
UM
2001
Springer
15 years 9 months ago
2001
Springer
Browsing- and querying-oriented schemes have long served as the principal techniques for software developers to locate software components from a component repository for reuse. Un...
138
click to vote
MSE
2000
IEEE
15 years 9 months ago
2000
IEEE
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...