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
|