2018
DOI: 10.1016/j.future.2017.04.035
|View full text |Cite
|
Sign up to set email alerts
|

Automatically deriving cost models for structured parallel processes using hylomorphisms

Abstract: Please cite this article as: D. Castro, et al., Automatically deriving cost models for structured parallel processes using hylomorphisms, Future Generation Computer Systems (2017), http://dx.doi.org/10.1016/j.future. 2017.04.035 This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2018
2018
2021
2021

Publication Types

Select...
5
1

Relationship

0
6

Authors

Journals

citations
Cited by 6 publications
(2 citation statements)
references
References 37 publications
0
2
0
Order By: Relevance
“…Indeed, every example discussed in Section 2 requires a constant number of indeterminates. Such a subset might be obtained by considering structural recursions, as in the study of Castro et al [2016Castro et al [ , 2018, and restrict duplication of δ -abstracted functions. If such a subset is found, it might be worthwhile to consider nonlinear polynomials as well, because exponential blowups cannot occur.…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…Indeed, every example discussed in Section 2 requires a constant number of indeterminates. Such a subset might be obtained by considering structural recursions, as in the study of Castro et al [2016Castro et al [ , 2018, and restrict duplication of δ -abstracted functions. If such a subset is found, it might be worthwhile to consider nonlinear polynomials as well, because exponential blowups cannot occur.…”
Section: Discussionmentioning
confidence: 99%
“…In contrast, a δ abstraction in λ as requires subterm simplification that the standard evaluation strategy does not allow. Castro et al [2016Castro et al [ , 2018 proposed a type-based approach for introducing parallelism to purely functional programs. Their type system certifies not only the correctness but also the cost of an obtained parallel program.…”
Section: Related Workmentioning
confidence: 99%