Principles of chemical programming

Electronic Notes in Theoretical Computer Science

Volumn 124, Issue 1, 2005, Pages 133-147

  Banâtre, Jean Pierre ^a   Fradet, Pascal ^b   Radenac, Yann ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

^b INRIA RHÔNE ALPES   (France)

Author keywords

Chemical metaphor; Formal calculi; Higher order conditional multiset rewriting

Indexed keywords

COMPUTATIONAL METHODS; DATA STRUCTURES; GAMMA RAYS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; REACTION KINETICS; SET THEORY;

CHEMICAL METAPHOR; CHEMICAL PROGRAMMING; FORMAL CALCULI; HIGHER-ORDER CONDITIONAL MULTISET REWRITING;

COMPUTER PROGRAMMING;

EID: 13944257043     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.07.019     Document Type: Conference Paper

References (14)

1. J.-P. Banâtre, P. Fradet, and D. Le Métayer Gamma and the chemical reaction model: Fifteen years after Multiset Processing LNCS 2235 2001 17 44
2. Banâtre, J.-P. and D. Le Métayer, A new computational model and its discipline of programming, Technical Report RR0566, INRIA (1986)
3. J.-P. Banâtre, and D. Le Métayer Programming by multiset transformation Communications of the ACM (CACM) 36 1993 98 111
4. G. Berry, and G. Boudol The chemical abstract machine Theoretical Computer Science 96 1992 217 248
5. A. Brogi, and J.-M. Jacquet On the expressiveness of coordination models P. Ciancarini A. Wolf Proc. 3rd Int. Conf. on Coordination Models and Languages LNCS 1594 1999 134 149
6. N. Carriero, and D. Gelernter Linda in Context Communications of the ACM 32 1989 444 458
7. N. Carriero, D. Gelernter, and L. Zuck Bauhaus Linda Object-Based Models and Languages for Concurrent Systems LNCS 924 1994 66 76
8. D. Cohen, and J. Muylaert-Filho Introducing a calculus for higher-order multiset programming Coordination Languages and Models LNCS 1061 1996 124 141
9. P. Dittrich, J. Ziegler, and W. Banzhaf Artificial chemistries - a review Artificial Life 7 2001 225 275
10. M. Felleisen On the expressive power of programming languages 3rd European Symposium on Programming ESOP'90 LNCS 432 1990 Springer-Verlag New York, N.Y. 134 151
11. W. Fontana, and L. Buss The arrival of the fittest: Toward a theory of biological organization Bulletin of Mathematical Biology 56 1994
12. C. Hankin, D.L. Métayer, and D. Sands A calculus of Gamma programs Languages and Compilers for Parallel Computing, 5th International Workshop LNCS 757 1992 342 355
13. D. Le Métayer Higher-order multiset programming A.M.S. (AMS) Proc. of the DIMACS workshop on specifications of parallel algorithms Dimacs Series in Discrete Mathematics 18 1994
14. G. Pǎun Computing with membranes Journal of Computer and System Sciences 61 2000 108 143