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

2017 12th International Conference on Malicious and Unwanted Software (MALWARE) ◽

10.1109/malware.2017.8323962 ◽

2017 ◽

Author(s):

Guillaume Bonfante ◽

Hubert Godfroy ◽

Jean-Yves Marion

Download Full-text