Towards a verified Lustre compiler with modular reset.
Timothy BourkeLélio BrunMarc PouzetPublished in: SCOPES (2018)
Keyphrases
- programming language
- general purpose
- highly modular
- expert systems
- modular structure
- software systems
- predictive state representations
- highly optimized
- parallel programming
- derivation rules
- modular neural network
- highly flexible
- code generation
- artificial intelligence
- software engineering
- artificial neural networks
- case study