H ? « ‹ ← → › »

Language peer sets for Gamma:
France↑
France/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Experimental and other ↑
Experimental and other/1990↑
Experimental and other/fr ↑

Gamma(ID:2666/gam005)

Massively parallel language derived from chemical reactions 

alternate simple view
Country: France
Designed 1990
Sammet category: Experimental and other

for the Gamma formalism

also Gammalog

A high-level parallel language using multiset transformations, deriving from the nature of chemical reactions, as opposed to cellular automata, systolic arrays or neural network, although still derived from CSP

"A distinguishing property of Gamma is the possibility of expressing algorithms in a very abstract way, without any artificial sequentiality"
Related languages
CSP → Gamma   Implementation
References:
  • Banatre, J.P. - Le Metayer, Daniel (1986) Banatre, J.P. - Le Metayer, Daniel "A new computational model and its discipline of programming" INRIA research report No 566, Sept. 86.
  • Coutant, A (1986) Coutant, A "Synthese de programmes dam le formalisme Gamma", D.E.A. Rennes, June 1986.
  • Banatre, J.P. - Le Metayer, Daniel (1987) Banatre, J.P. - Le Metayer, Daniel "A new approach to systematic program derivation", in Proceedings of the 1987 Workshop on Software Specification and Design (Monterey April 3-4), IEEE pp208-215
  • Banatre, J.P.; Coutant, A.; Le Metayer, Daniel (1987) Banatre, J.P.; Coutant, A.; Le Metayer, Daniel "Parallel machines for multiset transformation and their programming style" Rapport de recherche de l'INRIA- Rennes RR-0759 Novembre 1987 Abstract
  • Jean-Pierre Banâtre, Daniel Le Métayer (1989) Jean-Pierre Banâtre, Daniel Le Métayer "Chemical Reaction as a Computational Model" Proceedings of the 1989 Glasgow Workshop on Functional Programming August 1989
  • Banatre, J.P. - Le Metayer, Daniel (1990) Banatre, J.P. - Le Metayer, Daniel "Programming by multiset transformation" Rapport de recherche de l'INRIA - Rennes RR-1205 Avril 1990 Abstract
  • Banâtre, Jean-Pierre and Le Métayer, Daniel (1991) Banâtre, Jean-Pierre and Le Métayer, Daniel "Introduction to Gamma" pp197-202
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Creveuil, Christian (1991) Creveuil, Christian "Implementation of Gamma on the Connection Machine" pp219-230
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Le Métayer, Daniel (1991) Le Métayer, Daniel "The Chemical Reaction Model" p196
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Chris Hankin, Daniel Le Métayer, David Sands (1992) Chris Hankin, Daniel Le Métayer, David Sands "A Calculus of Gamma Programs" Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing August 1992
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Hankin, C. - Le Metayer, Daniel - Sands, D. (1992) Hankin, C. - Le Metayer, Daniel - Sands, D. "A calculus of Gamma programs" RR-1758 Octobre 1992 Abstract
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Paolo Ciancarini, Daniela Fogli, Mauro Gaspari. (1996) Paolo Ciancarini, Daniela Fogli, Mauro Gaspari. A Logic Coordination Language based on the Chemical Metaphor. Technical Report UBLCS-96-12, Department of Computer Science, Bologna 1996
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Skillicorn, David B. and Talia, Domenico (1998) Skillicorn, David B. and Talia, Domenico "Models and languages for parallel computation" pp123-169
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
  • Barbosa, Fernanda and Cunha, José C. (2000) Barbosa, Fernanda and Cunha, José C. "A coordination language for collective agent based systems: GroupLog" pp189-195 Extract: Extensions to GHC Extract: GroupLog and other work
          in [ACM] (2000) Proceedings of the 2000 ACM Symposium on Applied computing SAC'2000 Villa Olmo, Como, Italy
  • Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Méta (2000) Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer "Gamma and the Chemical Reaction Model: Fifteen Years After" August 2000 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
          in [ACM] (2000) Proceedings of the 2000 ACM Symposium on Applied computing SAC'2000 Villa Olmo, Como, Italy
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder