Title :
A distributed implementation of Structured Gamma
Author :
Paillard, Gabriel A L ; Franca, Felipe M G ; Filho, Juarez A Muylaert
Author_Institution :
Tiradentes Univ., Brazil
Abstract :
Presents a distributed implementation of the Structured Gamma programming language, a language based on the Gamma multi-set rewriting paradigm. Structured Gamma offers, in addition to the advantages introduced by Gamma, implicit concurrent behavior and a type system where not only types themselves are defined but also the automatic verification of user-defined types at compilation time. The problems and mechanisms involved in an MPI-based implementation of Structured Gamma using a type-checking engine based on the most general unifier (MGU) are investigated
Keywords :
abstract data types; application program interfaces; data integrity; message passing; parallel languages; program verification; rewriting systems; structured programming; Gamma multi-set rewriting paradigm; MGU; MPI-based implementation; Structured Gamma programming language; automatic compile-time verification; distributed implementation; implicit concurrent behavior; most general unifier; type system; type-checking engine; user-defined types; Arithmetic; Chemical elements; Computer languages; Data models; Engines; Functional programming; Parallel programming; Robustness;
Conference_Titel :
Parallel and Distributed Systems, 2001. ICPADS 2001. Proceedings. Eighth International Conference on
Conference_Location :
Kyongju City
Print_ISBN :
0-7695-1153-8
DOI :
10.1109/ICPADS.2001.934852
