The Scientific World Journal / 2014 / Article / Alg 2

Research Article

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

Algorithm 2

Inference rules of the semiexpectation type system.