A construction of a self-modifiying language with a formal correction proof.

Guillaume Bonfante Hubert Godfroy Jean-Yves Marion

Published in: MALWARE (2017)

Keyphrases

english language
language learning
theorem proving
databases
formal language
theorem prover
construction process
visual languages
data sets
mathematical theory
formal representation
object oriented programming
language processing
meta level
error correction
formal model
learning algorithm
genetic algorithm