201 search results - page 9 / 41 » Representing Java Classes in a Typed Intermediate Language |
PLDI
2000
ACM
13 years 11 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
NGC
2008
Springer
13 years 7 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
ECOOP
2005
Springer
14 years 1 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
TOOLS
2008
IEEE
14 years 1 months ago
2008
IEEE
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...
SAC
2004
ACM
14 years 27 days ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...