Sciweavers

Share
CMSB
2006
Springer

Type Inference in Systems Biology

9 years 11 months ago
Type Inference in Systems Biology
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, depending on the type system, in large programs and in complex assemblies of software components. Type inference provides powerful static analyses of preexisting programs without types, and facilitates the use of type systems by freeing the user from entering type information. In this paper, we investigate the application of these concepts to systems biology. More specifically, we consider the Systems Biology Markup Language SBML and the Biochemical Abstract Machine BIOCHAM with their repositories of models of biochemical systems. We study three type systems: one for checking or inferring the functions of proteins in a reaction model, one for checking or inferring the activation and inhibition effects of proteins in a reaction model, and another one for checking or inferring the topology of compartments or loc...
François Fages, Sylvain Soliman
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where CMSB
Authors François Fages, Sylvain Soliman
Comments (0)
books