Conference proceeding
Functional synthesis of genetic regulatory networks
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, pp.3-10
ACM Conferences
ICFP'13: ACM SIGPLAN International Conference on Functional Programming
09/22/2013
DOI: 10.1145/2505351.2505356
Abstract
As synthetic biologists improve their ability to engineer complex computations in living organisms, there is increasing interest in using programming languages to assist in the design and composition of biological constructs. In this paper, we argue that there is a natural fit between functional programming and genetic regulatory networks, exploring this connection in depth through the example of BioProto, a piggyback DSL on the Proto general-purpose spatial language. In particular, we present the first formalization of BioProto syntax and semantics, and compare these to the formal syntax and semantics of the parent language Proto. Finally, we examine the pragmatics of implementing BioProto and challenges to proving correctness of BioProto programs.
Details
- Title: Subtitle
- Functional synthesis of genetic regulatory networks
- Creators
- Jacob Beal - RTXAaron Adler - RTX
- Resource Type
- Conference proceeding
- Publication Details
- Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, pp.3-10
- Conference
- ICFP'13: ACM SIGPLAN International Conference on Functional Programming
- Publisher
- ACM
- Series
- ACM Conferences
- DOI
- 10.1145/2505351.2505356
- Language
- English
- Date published
- 09/22/2013
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984627249302771
Metrics
1 Record Views