Adaptable Translator of B Specifications to Embedded C Programs.
Didier BertSylvain BoulméMarie-Laure PotetAntoine RequetLaurent VoisinPublished in: FME (2003)
Keyphrases
- recursive programs
- control flow
- program synthesis
- embedded systems
- logic programs
- automatic programming
- data flow
- intermediate level
- learning algorithm
- social networks
- machine learning
- neural network
- image sequences
- decision trees
- databases
- finite state machines
- formal specification
- computer programs
- fixpoint
- search engine
- attribute grammars