Projecting programs on specifications: Definition and implications.
Jules DesharnaisNafi DialloWided GhardallouAli MiliPublished in: Sci. Comput. Program. (2017)
Keyphrases
- control flow
- recursive programs
- operational semantics
- delay insensitive
- high level
- specification language
- lower dimensional
- automatic programming
- software development
- logic programs
- finite state machines
- concurrent systems
- provably correct
- formal language
- formal specification
- neural network
- probabilistic model
- expert systems
- image sequences
- website
- feature selection
- genetic algorithm
- data mining