Optimizing Space of Parallel Processes

## Authors: Manfred Schmidt-Schauss and Nils Dallmeyer

## Paper Information

Title: | Optimizing Space of Parallel Processes |

Authors: | Manfred Schmidt-Schauss and Nils Dallmeyer |

Proceedings: | WPTE Extended Abstracts |

Editor: | Joachim Niehren |

Keywords: | functional programming, call-by-need evaluation, parallel improvements |

Abstract: | ABSTRACT. The paper is a contribution to exploring and analyzing space-improvements in the concurrent and functional process-calculus CHF. Space-improvements are defined as a generalization from a deterministic pure functional language. The main part of the paper is a polynomial algorithm for space optimizations of parallel independent processes. Applications of this algorithm are: (i) affirmation of space improving transformations for particular classes of program transformations; (ii) support of an interpreter-based method for refuting space-improvements; and (iii) as a stand-alone offline-optimizer for space (or similar ressources) of parallel processes. |

Pages: | 11 |

Talk: | Jul 08 11:30 (Session 38Q) |

Paper: |