A First Step in the Translation of Alloy to Coq.

Salwa Souaf Frédéric Loulergue

Published in: ICFEM (2019)

Keyphrases

machine translation
real time
artificial intelligence
post processing
genetic algorithm
three dimensional
expert systems
query translation