GUBS a Language for Synthetic Biology: Specification and Compilation.
Adrien Basso-BlandinFranck DelaplacePublished in: UCNC (2014)
Keyphrases
- specification language
- formal languages
- formal language
- action language
- formal specification
- code generation
- machine learning
- language learning
- description language
- programming language
- user defined
- operational semantics
- real world
- definition language
- neural network
- language processing
- object oriented programming
- reactive systems
- information retrieval
- exception handling
- e learning
- formal verification
- high level
- natural language
- computational biology
- modeling language
- logic programming
- general purpose