188 search results - page 12 / 38 » java 2001 |
WSCG
2000
13 years 8 months ago
2000
The digital television development is one of the most important events in the history of television broadcasting. This paper highlights the user interface issue in digital televis...
OOPSLA
2001
Springer
13 years 12 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
SPIN
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
OOPSLA
2001
Springer
13 years 12 months ago
2001
Springer
Reference counting is not naturally suitable for running on multiprocessors. The update of pointers and reference counts requires atomic and synchronized operations. We present a ...
COOTS
2001
13 years 9 months ago
2001
Mainstream object-oriented languages, such as C++ and Java1 , provide only a restricted form of polymorphic methods, namely uni-receiver dispatch. In common programming situations...