75 search results - page 1 / 15 » Compiling XQuery to Java bytecodes |
XIMEP
2004
ACM
13 years 11 months ago
2004
ACM
GECCO
2009
Springer
14 years 10 days ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
IASTEDSEA
2004
13 years 7 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
ICST
2008
IEEE
14 years 5 days ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
FMOODS
2008
13 years 7 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...