Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution

R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan. Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution. In Nachum Dershowitz, editor, Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings. Volume 355 of Lecture Notes in Computer Science, pages 404-418, Springer, 1989.

Abstract

Abstract is missing.