On the existence of translations of structured specifications.

Razvan Diaconescu

Published in: Inf. Process. Lett. (2015)

Keyphrases

machine translation
real world
genetic algorithm
high level
expert systems
structured data
formal specification
structured learning
databases
knowledge base
query translation
reactive systems