کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
424130 685343 2006 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Generalized Higher-Order Chemical Computation Model
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Generalized Higher-Order Chemical Computation Model
چکیده انگلیسی

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 γ-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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 135, Issue 3, 3 March 2006, Pages 3-13