| ||||
| ||||
![]() Title:Optimizing Space of Parallel Processes Conference:WPTE 2018 Tags:call-by-need evaluation, functional programming and parallel improvements 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. Optimizing Space of Parallel Processes ![]() Optimizing Space of Parallel Processes | ||||
Copyright © 2002 – 2025 EasyChair |