A refinement-based compiler development for synchronous languages.

Jean-Paul Bodeveix Mamoun Filali-Amine Shuanglong Kan

Published in: MEMOCODE (2017)

Keyphrases

case study
general purpose
expressive power
software engineering
programming language
neural network
databases
genetic algorithm
development process
st century