Journals
Publish with us
Publishing partnerships
About us
Blog
The Scientific World Journal
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
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.