Compiling Rewriting onto Simd and Mimd/simd Machines

@inproceedings{Mart1994CompilingRO,
  title={Compiling Rewriting onto Simd and Mimd/simd Machines},
  author={N. Mart},
  year={1994}
}
  • N. Mart
  • Published 1994
We present compilation techniques for Simple Maude, a declarative programming language based on Rewriting Logic which supports term, graph, and object-oriented rewriting. We show how to compile various constructs of Simple Maude onto SIMD and MIMD/SIMD massively parallel architectures, and in particular onto the Rewrite Rule Machine, a special purpose MIMD/SIMD architecture for rewriting. We show how to compile SIMD graph rewriting onto MIMD/SIMD architectures, and discuss mapping 3-D… CONTINUE READING