Jump to : Abstract | Keywords | Contact | BibTex reference | EndNote reference |

BFR-RULE

Jean-Pierre Banātre, Pascal Fradet, Yann Radenac. Principles of Chemical Programming. In Proceedings of the 5th International Workshop on Rule-Based Programming, S. Abdennadher, C. Ringeissen (eds.), ENTCS, Volume 124(1), Pages 133-147, June 2005.

Abstract

The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical models use the multiset as their basic data structure. Computation proceeds by rewritings of the multiset which consume elements according to reaction conditions and produce new elements according to specific transformation rules. Since the introduction of Gamma in the mid-eighties, many other chemical formalisms have been proposed such as the Cham, the P-systems and various higher-order extensions. The main objective of this paper is to identify a basic calculus containing the very essence of the chemical paradigm and from which extensions can be derived and compared to existing chemical models

Keywords

[ Chemical programming ] [ Higher-order conditional multiset rewriting ] [ Chemical metaphor ] [ Formal calculi ]

Contact

Pascal Fradet http://pop-art.inrialpes.fr/people/fradet/

BibTex Reference

@InProceedings{BFR-RULE,
   Author = {Banātre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
   Title = {Principles of Chemical Programming},
   BookTitle = {Proceedings of the 5th International Workshop on Rule-Based Programming},
   editor = {Abdennadher, S. and Ringeissen, C.},
   Volume = {124(1)},
   Pages = {133--147},
   Series = {ENTCS},
   Publisher = {Elsevier},
   Month = {June},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)