5343 search results - page 255 / 1069 » Keyword programming in java |
139
click to vote
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
120
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
117
click to vote
JUCS
2006
15 years 3 months ago
2006
: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...
112
click to vote
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
124
click to vote
CHI
2009
ACM
15 years 27 days ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...