In software engineering, code transforms from human-readable high-level languages like Python or Java into machine-readable binary (machine code). An intermediate step, bytecode, bridges ...

Introduction. In the last year or two, interest in "alternative" languages on top of the Java Virtual Machine has grown exponentially, to the point where three languages were blessed with official ...

The C code produced by Harissa's compiler is more efficient than all other alternative ways of executing Java programs (that were available to us): it is up to 140 times faster than the JDK ...

Mobile code provides significant opportunities and risks. Java bytecode is used to provide executable content to Web pages and is the basis for dynamic service configuration in the Jini framework.

In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems (TRSs) and then, existing ...