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...
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 |
Similar Items
-
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages
by: Nils Dallmeyer, et al.
Published: (2017-01-01) -
Space Improvements and Equivalences in a Functional Core Language
by: Manfred Schmidt-Schauß, et al.
Published: (2018-02-01) -
Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)
by: Manfred Schmidt-Schauss
Published: (2013-02-01) -
Towards Correctness of Program Transformations Through Unification and Critical Pair Computation
by: Manfred Schmidt-Schauß, et al.
Published: (2010-12-01) -
Applications of parallel processing to optimization
by: Handley-Schachler, Sybille H.
Published: (1994)