Equivalent Transformations for Invariant Parallel Functions

Abstract:- Monotonic parallel functions were extensively studied in research on semantics of programming languages. While most of this research concentrated on expressive power of parallel functions, this paper focuses on development of a rich catalog of equivalent transformations associated with invariant parallel functions. Such functions are independent of interpretation of their definition domain, and they can be naturally used as additional control means to enrich models of sequential programs (such as recursive program schemes). It is shown how the offered transformations can be applied for a variety of goals, such as regularization of terms and reducing the strength of the used operations