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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings. Eighth International Conference on Parallel and Distributed Systems. ICPADS 2001 s. 445 - 450
Hlavní autoři: Paillard, G.A.L., Franca, F.M.G., Filho, J.A.M.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 2001
Témata:
Arithmetic
Chemical elements
Computer languages
Data models
Engines
Functional programming
Parallel programming
Robustness
ISBN:0769511538, 9780769511535
ISSN:1521-9097
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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