Compiling rewriting onto SIMD and MIMD/SIMD machines

P. Lincoln; N. Martí-Oliet; J. Meseguer; L. Ricciulli

doi:10.1007/3-540-58184-7_88

Compiling rewriting onto SIMD and MIMD/SIMD machines

P. Lincoln, N. Martí-Oliet, J. Meseguer, L. Ricciulli

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English (US)
Title of host publication	PARLE 1994 – Parallel Architectures and Languages Europe - 6th International PARLE Conference, Proceedings
Editors	Costas Halatsis, George Philokyprou, Dimitrios Maritsas, Sergios Theodoridis
Publisher	Springer
Pages	37-48
Number of pages	12
ISBN (Print)	9783540581840
DOIs	https://doi.org/10.1007/3-540-58184-7_88
State	Published - 1994
Externally published	Yes
Event	6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994 - Athens, Greece Duration: Jul 4 1994 → Jul 8 1994

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	817 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994
Country/Territory	Greece
City	Athens
Period	7/4/94 → 7/8/94

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-58184-7_88

Cite this

Lincoln, P., Martí-Oliet, N., Meseguer, J., & Ricciulli, L. (1994). Compiling rewriting onto SIMD and MIMD/SIMD machines. In C. Halatsis, G. Philokyprou, D. Maritsas, & S. Theodoridis (Eds.), PARLE 1994 – Parallel Architectures and Languages Europe - 6th International PARLE Conference, Proceedings (pp. 37-48). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 817 LNCS). Springer. https://doi.org/10.1007/3-540-58184-7_88

Compiling rewriting onto SIMD and MIMD/SIMD machines. / Lincoln, P.; Martí-Oliet, N.; Meseguer, J.; Ricciulli, L.

PARLE 1994 – Parallel Architectures and Languages Europe - 6th International PARLE Conference, Proceedings. ed. / Costas Halatsis; George Philokyprou; Dimitrios Maritsas; Sergios Theodoridis. Springer, 1994. p. 37-48 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 817 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Lincoln, P, Martí-Oliet, N, Meseguer, J & Ricciulli, L 1994, Compiling rewriting onto SIMD and MIMD/SIMD machines. in C Halatsis, G Philokyprou, D Maritsas & S Theodoridis (eds), PARLE 1994 – Parallel Architectures and Languages Europe - 6th International PARLE Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 817 LNCS, Springer, pp. 37-48, 6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994 , Athens, Greece, 7/4/94. https://doi.org/10.1007/3-540-58184-7_88

Lincoln P, Martí-Oliet N, Meseguer J, Ricciulli L. Compiling rewriting onto SIMD and MIMD/SIMD machines. In Halatsis C, Philokyprou G, Maritsas D, Theodoridis S, editors, PARLE 1994 – Parallel Architectures and Languages Europe - 6th International PARLE Conference, Proceedings. Springer. 1994. p. 37-48. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-58184-7_88

Lincoln, P. ; Martí-Oliet, N. ; Meseguer, J. ; Ricciulli, L. / Compiling rewriting onto SIMD and MIMD/SIMD machines. PARLE 1994 – Parallel Architectures and Languages Europe - 6th International PARLE Conference, Proceedings. editor / Costas Halatsis ; George Philokyprou ; Dimitrios Maritsas ; Sergios Theodoridis. Springer, 1994. pp. 37-48 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{1063572c8a0b4145821694ca0e2f97bc,

title = "Compiling rewriting onto SIMD and MIMD/SIMD machines",

abstract = "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.",

author = "P. Lincoln and N. Mart{\'i}-Oliet and J. Meseguer and L. Ricciulli",

year = "1994",

doi = "10.1007/3-540-58184-7_88",

language = "English (US)",

isbn = "9783540581840",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "37--48",

editor = "Costas Halatsis and George Philokyprou and Dimitrios Maritsas and Sergios Theodoridis",

booktitle = "PARLE 1994 – Parallel Architectures and Languages Europe - 6th International PARLE Conference, Proceedings",

address = "Germany",

note = "6th International Conference on Parallel Architectures and Languages Europe, PARLE 1994 ; Conference date: 04-07-1994 Through 08-07-1994",

}

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 -

Compiling rewriting onto SIMD and MIMD/SIMD machines

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other links

Fingerprint

Cite this