Optimizing Space of Parallel Processes

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 pa...

Full description

Bibliographic Details
Main Authors: Manfred Schmidt-Schauß, Nils Dallmeyer
Format: Article
Language:English
Published: Open Publishing Association 2019-02-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1902.08422v1
id doaj-b83c1ffbda1346d6ac174a16ca1bf6cb
record_format Article
spelling doaj-b83c1ffbda1346d6ac174a16ca1bf6cb2020-11-25T01:15:32ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-02-01289Proc. WPTE 2018536710.4204/EPTCS.289.4:3Optimizing Space of Parallel ProcessesManfred Schmidt-Schauß0Nils Dallmeyer1 Goethe-University Frankfurt am Main Goethe-University Frankfurt am Main 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.http://arxiv.org/pdf/1902.08422v1
collection DOAJ
language English
format Article
sources DOAJ
author Manfred Schmidt-Schauß
Nils Dallmeyer
spellingShingle Manfred Schmidt-Schauß
Nils Dallmeyer
Optimizing Space of Parallel Processes
Electronic Proceedings in Theoretical Computer Science
author_facet Manfred Schmidt-Schauß
Nils Dallmeyer
author_sort Manfred Schmidt-Schauß
title Optimizing Space of Parallel Processes
title_short Optimizing Space of Parallel Processes
title_full Optimizing Space of Parallel Processes
title_fullStr Optimizing Space of Parallel Processes
title_full_unstemmed Optimizing Space of Parallel Processes
title_sort optimizing space of parallel processes
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2019-02-01
description 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.
url http://arxiv.org/pdf/1902.08422v1
work_keys_str_mv AT manfredschmidtschauß optimizingspaceofparallelprocesses
AT nilsdallmeyer optimizingspaceofparallelprocesses
_version_ 1725152701387374592

Similar Items