title: Programming languages for circuit design.
abstract: This chapter provides an overview of a programming language for Genetic Engineering of Cells (GEC). A GEC program specifies a genetic circuit at a high level of abstraction through constraints on otherwise unspecified DNA parts. The GEC compiler then selects parts which satisfy the constraints from a given parts database. GEC further provides more conventional programming language constructs for abstraction, e.g., through modularity. The GEC language and compiler is available through a Web tool which also provides functionality, e.g., for simulation of designed circuits.
authors.affiliation: Department of Plant Sciences, Cambridge University, Downing Street, Cambridge, CB2 3EA, UK, michael.d.pedersen@gmail.com.
authors.forename: Michael
authors.initials: M
authors.lastname: Pedersen
authors.forename: Boyan
authors.initials: B
authors.lastname: Yordanov
mesh_terms: D000465:Algorithms; D019295:Computational Biology / Q000379:methods*; D011381:Programming Languages; D012984:Software