Abstract Self Modifying Machines

Hubert Godfroy 1 Jean-Yves Marion 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We describe a new framework for self-modifying programs, that is programs which can execute what they have themselves written. On the first hand, we use an abstract machine which makes explicit some typical behavior, such as turning data into executable code and vice versa. Moreover memory is also separated between data (what we can read and write) and code (what we can execute). On the other hand, we add another level of granularity in memory location, in order to deal with the problem of interpreting intensional behavior of the program more easily.
Type de document :
Pré-publication, Document de travail
2016
Liste complète des métadonnées

https://hal.inria.fr/hal-01390838
Contributeur : Hubert Godfroy <>
Soumis le : mercredi 2 novembre 2016 - 14:56:24
Dernière modification le : mardi 17 avril 2018 - 09:08:15
Document(s) archivé(s) le : vendredi 3 février 2017 - 13:41:38

Fichiers

lola.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas de modifications 4.0 International License

Identifiants

  • HAL Id : hal-01390838, version 1

Collections

Citation

Hubert Godfroy, Jean-Yves Marion. Abstract Self Modifying Machines. 2016. 〈hal-01390838〉

Partager

Métriques

Consultations de la notice

291

Téléchargements de fichiers

112