in Java) as a migration tool for a large legacy system implemented in Tcl. Jacl was found to be satisfactory in all areas except one, runtime execution speed. The native version of Tcl contains a runtime compiler and execution engine, while Jacl supports only interpreted execution. As a result, native Tcl

This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work is based on extensive previous formalizations of Java, which comprise all relevant features of object

wide range of source language features is awkward. Further compilation and optimization, necessary for e?ciency, must be trusted. We describe the design and implementation of a fully type-preserving compiler for Java and SML. Its stronglytyped intermediate language, provides a low-level abstract

Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common

discusses our investigation into whether distributing the compilation of Java files can result in a faster compilation of large Java projects. The research indicates that the distributed compilation of projects consisting of a large number of relatively large source files can see a speed improvement over

discusses our investigation into whether distributing the compilation of Java files can result in a faster compilation of large Java projects. The research indicates that the distributed compilation of projects consisting of a large number of relatively large source files can see a speed improvement over

A language of choice for general-purpose programming, Java is quickly becoming popular in more specialized areas, such as scientific computing. However, even though the compilation technologies have significantly improved Java execution, performance is still the main obstacle to the use of Java

. In terms functional programming, it brings in algebraic data types, pattern matching, functions and closures. Optimization is an important concept in compiler design to reduce the cost, code size, reduction of design complexity, thereby internal execution time and increasing the performance of the compiler

This paper is made available online in accordance with publisher policies. Please scroll down to view the document itself. Please refer to the repository record for this item and our policy information available from the repository home page for further information.

. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to JVM code. These definitions, together with the definition of an abstract interpreter of Java programs given in our previous