Partial Evaluation and Distributed Systems


Partial evaluation has been studied mainly for sequential languages. In this paper, we want to discuss of this concept for parallel programs in a distributed environment. We show that standard specializers fail to return good programs and point out the reasons for this failure. Finally, a solution based on symbolic evaluation, type specialization and… (More)