Optimizing Space of Parallel Processes
Abstract
This paper is a contribution to exploring and analyzing space-improvements in concurrent programming languages, in particular in the functional process-calculus CHF. Space-improvements are defined as a generalization of the corresponding notion in deterministic pure functional languages. The main part of the paper is the O(n*log n) algorithm SpOptN for offline space optimization of several 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 resources) of parallel processes.
Keywords
Cite
@article{arxiv.1902.08422,
title = {Optimizing Space of Parallel Processes},
author = {Manfred Schmidt-Schauß and Nils Dallmeyer},
journal= {arXiv preprint arXiv:1902.08422},
year = {2019}
}
Comments
In Proceedings WPTE 2018, arXiv:1902.07818