A distributed implementation of Structured Gamma

Author

Paillard, Gabriel A L ; Franca, Felipe M G ; Filho, Juarez A Muylaert

Author_Institution

Tiradentes Univ., Brazil

fYear

2001

fDate

2001

Firstpage

445

Lastpage

450

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Systems, 2001. ICPADS 2001. Proceedings. Eighth International Conference on

Conference_Location

Kyongju City

ISSN

1521-9097

Print_ISBN

0-7695-1153-8

Type

conf

DOI

10.1109/ICPADS.2001.934852

Filename

934852