Ponencia
Life-Death Ratio Approach by a Multiset-Based Type System
Autor/es | Aman, Bogdan
Ciobanu, Gabriel |
Fecha de publicación | 2014 |
Fecha de depósito | 2016-01-25 |
Publicado en |
|
ISBN/ISSN | 978-84-940056-4-0 |
Resumen | We introduce and study a multiset-based type system with ratio thresholds
motivated by an important regulatory mechanism inside a cell which try to maintain a
\life-death" ratio between some given lower and upper thresholds. ... We introduce and study a multiset-based type system with ratio thresholds motivated by an important regulatory mechanism inside a cell which try to maintain a \life-death" ratio between some given lower and upper thresholds. We use such a type system to control ratio thresholds in a bio-inspired and multisets-based formalism. For this type system we prove a subject reduction theorem, together with soundness and completeness theorems. A type inference for deducing the type of a system is presented. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
049_bwmc1403.pdf | 338.7Kb | [PDF] | Ver/ | |