The Scientific World Journal / 2014 / Article / Alg 1

Research Article

Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs

Algorithm 1

Inference rules of the ready type system.