Transforming strongly sequential rewrite systems with constructors for efficient parallel execution

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 404-418
https://doi.org/10.1007/3-540-51081-8_122

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

A refinement of strong sequentiality for term rewriting with constructors
Information and Computation, 1987
On the correspondence between two classes of reduction systems
Information Processing Letters, 1985
Principles of OBJ2
Published by Association for Computing Machinery (ACM) ,1985
Equational logic as a programming language: Abstract
Lecture Notes in Computer Science, 1985
Computing in systems described by equations
Lecture Notes in Computer Science, 1977