RECORD
GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology
Programming Languages · Submitted 26 Jun 2012
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim In this article, we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices, viewed as discrete open dynamical systems.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
In this article, we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices, viewed as discrete open dynamical systems. GUBS is a rule-based declarative language. By contrast to a closed system, a program is always a partial description of the behavior of the system. The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device. The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | In this article, we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices, viewed as discrete open dynamical systems. | contribution 1.00 | 0.81 | 0.40 | asserted 1.00 |
| s1 | GUBS is a rule-based declarative language. | contribution 0.77 | 0.55 | 0.08 | asserted 1.00 |
| s2 | By contrast to a closed system, a program is always a partial description of the behavior of the system. | background 0.93 | 0.12 | 0.07 | asserted 1.00 |
| s3 | The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device. | contribution 0.48 | 0.42 | 0.08 | asserted 0.74 |
| s4 | The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety. | method 0.74 | 0.75 | 0.11 | asserted 0.97 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
In this article, we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices, viewed as discrete open dynamical systems. GUBS is a rule-based declarative language. By contrast to a closed system, a program is always a partial description of the behavior of the system. The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device. The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.