Static Analysis for Biological Systems (BioAmbients)

In this paper, I present a summary on some works that utilized static analysis techniques for understanding biological systems. Control flow analysis, context dependent analysis, and other techniques were employed to investigate the properties of BioAmbients. In this summary report, I tried to intro...

Full description

Saved in:
Bibliographic Details
Main Author Altowayan, A. Aziz
Format Journal Article
LanguageEnglish
Published 02.01.2015
Subjects
Computer Science - Computational Engineering, Finance, and Science
Computer Science - Programming Languages
Online AccessGet full text

Cover

More Information
Summary:In this paper, I present a summary on some works that utilized static analysis techniques for understanding biological systems. Control flow analysis, context dependent analysis, and other techniques were employed to investigate the properties of BioAmbients. In this summary report, I tried to introduce the ideas and explain the techniques used in the subject papers. This summary will highlight the biological concepts of BioAmbients.
DOI:10.48550/arxiv.1501.00349