TY - GEN
T1 - Compiling rewriting onto SIMD and MIMD/SIMD machines
AU - Lincoln, P.
AU - Martí-Oliet, N.
AU - Meseguer, J.
AU - Ricciulli, L.
PY - 1994
Y1 - 1994
N2 - 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 (RRM), a special purpose MIMD/SIMD architecture for rewriting. We then demonstrate how to compile SIMD graph rewriting onto MIMD/SIMD architectures, and discuss mapping 3-D structures into 2-D SIMD meshes. Finally, we sketch the compilation of object-oriented rewriting into efficient MIMD/SIMD code. We thus show that Simple Maude is an efficient, machine-independent parallel programming language.
AB - 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 (RRM), a special purpose MIMD/SIMD architecture for rewriting. We then demonstrate how to compile SIMD graph rewriting onto MIMD/SIMD architectures, and discuss mapping 3-D structures into 2-D SIMD meshes. Finally, we sketch the compilation of object-oriented rewriting into efficient MIMD/SIMD code. We thus show that Simple Maude is an efficient, machine-independent parallel programming language.
UR - http://www.scopus.com/inward/record.url?scp=19144362834&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=19144362834&partnerID=8YFLogxK
U2 - 10.1007/3-540-58184-7_88
DO - 10.1007/3-540-58184-7_88
M3 - Conference contribution
AN - SCOPUS:19144362834
SN - 9783540581840
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 37
EP - 48
BT - PARLE 1994 – Parallel Architectures and Languages Europe - 6th International PARLE Conference, Proceedings
A2 - Halatsis, Costas
A2 - Philokyprou, George
A2 - Maritsas, Dimitrios
A2 - Theodoridis, Sergios
PB - Springer
T2 - 6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994
Y2 - 4 July 1994 through 8 July 1994
ER -