598 search results - page 35 / 120 » A dynamic birthmark for java |
TOOLS
2000
IEEE
13 years 11 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
OOPSLA
1999
Springer
13 years 11 months ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...
CCS
1998
ACM
13 years 11 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
ICDE
1999
IEEE
14 years 8 months ago
1999
IEEE
We describe an architecture called WebFINDIT that allows dynamic couplings of Web accessible databases based on tlleir content and interest. We propose an implementation using WWW...
SOCO
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...