A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets

Résumé

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.
Fichier principal
Vignette du fichier
DCM05.pdf (138.57 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00000943 , version 1 (15-12-2005)

Identifiants

  • HAL Id : inria-00000943 , version 1

Citer

Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. A Generalized Higher-Order Chemical Computation Model with Infinite and Hybrid Multisets. First International Workshop on New Developments in Computational Models, Jul 2005, Lisbon. ⟨inria-00000943⟩
129 Consultations
79 Téléchargements

Partager

Gmail Facebook X LinkedIn More