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 6
/
Research Article
Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs
Algorithm 6
An extension for the
semi-expectation
type system.