Optimizing space of parallel processes
- 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.
| Author: | Manfred Schmidt-SchaußORCiDGND, Nils Dallmeyer |
|---|---|
| URN: | urn:nbn:de:hebis:30:3-531843 |
| DOI: | https://doi.org/10.4204/EPTCS.289.4 |
| ISSN: | 2075-2180 |
| ArXiv Id: | http://arxiv.org/abs/1902.08422 |
| Parent Title (German): | J. Niehren & D. Sabel (eds.): Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018) ; Electronic Proceedings in Theoretical Computer Science 289.2019 |
| Publisher: | Open Publishing Association |
| Document Type: | Conference Proceeding |
| Language: | English |
| Year of Completion: | 2019 |
| Year of first Publication: | 2019 |
| Publishing Institution: | Universitätsbibliothek Johann Christian Senckenberg |
| Release Date: | 2020/04/10 |
| Tag: | call-by-need evaluation; concurrency; parallel processes; space improvements; space optimization |
| Volume: | 2019 |
| Issue: | 289 (Proc. WPTE 2018) |
| Page Number: | 15 |
| First Page: | 53 |
| Last Page: | 67 |
| Note: | (c) M. Schmidt-Schauß & N. Dallmeyer This work is licensed under the Creative Commons Attribution License. |
| HeBIS-PPN: | 464009677 |
| Institutes: | Informatik und Mathematik / Informatik |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Sammlungen: | Universitätspublikationen |
