Classes of Equational Programs that Compile into Efficient Machine Code

Robert Strandh. Classes of Equational Programs that Compile into Efficient Machine Code. 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 449-461, Springer, 1989.

Abstract

Abstract is missing.