1210 search results - page 129 / 242 » Formal Techniques for Java Programs |
129
click to vote
IWMM
2007
Springer
15 years 8 months ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
137
Voted
MOBILITY
2009
ACM
15 years 7 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
217
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
123
click to vote
COMPSAC
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...