A distributed implementation of Structured Gamma

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 a...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings. Eighth International Conference on Parallel and Distributed Systems. ICPADS 2001 pp. 445 - 450
Main Authors: Paillard, G.A.L., Franca, F.M.G., Filho, J.A.M.
Format: Conference Proceeding
Language:English
Published: IEEE 2001
Subjects:
Arithmetic
Chemical elements
Computer languages
Data models
Engines
Functional programming
Parallel programming
Robustness
ISBN:0769511538, 9780769511535
ISSN:1521-9097
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:0769511538
9780769511535
ISSN:1521-9097
DOI:10.1109/ICPADS.2001.934852