Formalising an Integrated Language in PVS.

Gwen Salaün J. Christian Attiogbé

Published in: ICFEM (2003)

Keyphrases

natural language
programming language
formal verification
language learning
real world
genetic algorithm
artificial intelligence
search algorithm
artificial neural networks
natural language processing
programming environment
formal language