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

BFR05-DCM

Jean-Pierre Banātre, Pascal Fradet, Yann Radenac. A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets. In Proceedings of 1st International Workshop on New Developments in Computational Models (DCM'05), ENTCS, Volume 135(3), Pages 3-13, March 2006.

Abstract

Gamma is a programming model where computation is seen as chemical reactions between data represented as molecules floating in a chemical solution. Formally, this model is represented by the rewriting of a multiset where rewrite rules model the chemical reactions. Recently, we have proposed the $\gamma$-calculus, a higher-order extension, where the rewrite rules are first-class citizen. The work presented in this paper increases further the expressivity of the chemical model with generalized multisets: multiplicities of elements may be infinite and/or negative. Applications of these new notions are illustrated by some programming examples

Keywords

[ Chemical programming ] [ Higher-order conditional multiset rewriting ] [ Infinite multisets ]

Contact

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

BibTex Reference

@InProceedings{BFR05-DCM,
   Author = {Banātre, Jean-Pierre and Fradet, Pascal and Radenac, Yann},
   Title = {A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets},
   BookTitle = {Proceedings of 1st International Workshop on New Developments in Computational Models (DCM'05)},
   Volume = {135(3)},
   Pages = {3--13},
   Series = {ENTCS},
   Publisher = {Elsevier},
   Month = {March},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)