LLVM-Based Code Generation for B.
Richard BonichonDavid DéharbeThierry LecomteValério Medeiros Jr.Published in: SBMF (2014)
Keyphrases
- code generation
- application development
- code generator
- software development
- modeling language
- model driven
- rapid prototyping
- mixed mode
- software reuse
- formal specification
- design patterns
- web applications
- open source
- relational databases
- databases
- database
- life cycle
- software systems
- design tools
- web services
- information systems
- data sets