TY  - CONF
A1  - Schmidt-Schauß, Manfred
A1  - Dallmeyer, Nils
T1  - Optimizing space of parallel processes
T2  - J. Niehren & D. Sabel (eds.): Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018) ; Electronic Proceedings in Theoretical Computer Science 289.2019
N2  - 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 ·logn) 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.
KW  - space optimization
KW  - parallel processes
KW  - space improvements
KW  - call-by-need evaluation
KW  - concurrency
Y1  - 2019
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/53184
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-531843
SN  - 2075-2180
N1  - (c) M. Schmidt-Schauß & N. Dallmeyer This work is licensed under the Creative Commons Attribution License.
VL  - 2019
IS  - 289 (Proc. WPTE 2018)
SP  - 53
EP  - 67
PB  - Open Publishing Association
ER  -