An extension of the WAM for uninitialized variables

An extension of the WAM for handling uninitialized variables is presented. Our modification of the WAM is based on a static analysis designed within the classical Cousot's abstract interpretation framework. The information inferred by our analysis supports the optimization of the WAM code produced for the analyzed programs. The optimization consists in modifying some instructions taking into account the possibility that their inputs can be uninitialized variables. For illustrating the usefulness of our method, we show that it allows to improve the WAM code of the append program. In general, analyses that infer very concrete properties of programs are important because such properties can support significant and easily implementable optimizations of the code generated by compilers. The main contributions of this work are the simplicity of the domain of the analysis, the WAM-like extension supporting the optimization and the fact that the analysis is provably correct according to the wel..