A calculus of Gamma programs

Chris Hankin 1 Daniel Le Métayer 2 David Sands 1
2 LSP - Langages et Systèmes Parallèles
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : Gamma is a minimal language based on conditional multiset rewriting. The virtues of this paradigm in terms of systematic program construction and design of programs for highly parallel machines have been demonstrated in previous papers. We introduce here sequential and parallel operators for combining Gamma programs and we study their properties. The main focus of the paper is to give conditions under which sequential composition can be transformed into parallel composition and vice versa. Such transformations are especially valuable for adapting Gamma programs for execution on a particular target architecture.
Type de document :
Rapport
[Research Report] RR-1758, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00076998
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:48:35
Dernière modification le : jeudi 11 janvier 2018 - 06:21:20
Document(s) archivé(s) le : vendredi 13 mai 2011 - 22:26:31

Fichiers

Identifiants

  • HAL Id : inria-00076998, version 1

Collections

Citation

Chris Hankin, Daniel Le Métayer, David Sands. A calculus of Gamma programs. [Research Report] RR-1758, INRIA. 1992. 〈inria-00076998〉

Partager

Métriques

Consultations de la notice

268

Téléchargements de fichiers

61