On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin.
Zheng ChengDominique MéryRosemary MonahanPublished in: ISoLA (1) (2016)
Keyphrases
- recursive programs
- learning algorithm
- computer vision
- recently developed
- computational complexity
- worst case
- machine learning algorithms
- database
- computational efficiency
- automatically generated
- times faster
- orders of magnitude
- stream processing
- brute force
- computationally expensive
- significant improvement
- data structure
- neural network