A simple, general, and well-formalized partial evaluation method for concurrent languages is proposed. In spite of many potential benefits, there are few partial evaluation techniques for concurrent languages. We choose a process calculus for the target language because it has theoretical clarity, and yet has expressive power enough to represent various high-level constructs in concurrent object-oriented languages. We realize effective optimization by allowing elimination of even nondeterministic interprocess communications. Furthermore, we prove correctness of our method with respect to barb-agreed simulation.
CITATION STYLE
Hosoya, H., Kobayashi, N., & Yonezawa, A. (1996). Partial evaluation scheme for concurrent languages and its correctness. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1123, pp. 625–632). Springer Verlag. https://doi.org/10.1007/3-540-61626-8_83
Mendeley helps you to discover research relevant for your work.