Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Abstract Self Modifying Machines

Hubert Godfroy 1 Jean-Yves Marion 1
1 CARTE - Theoretical adverse computations, and safety
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est
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.
Complete list of metadata

https://hal.inria.fr/hal-01390838
Contributor : Hubert Godfroy Connect in order to contact the contributor
Submitted on : Wednesday, November 2, 2016 - 2:56:24 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM
Long-term archiving on: : Friday, February 3, 2017 - 1:41:38 PM

Files

lola.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License

Identifiers

  • HAL Id : hal-01390838, version 1

Collections

Citation

Hubert Godfroy, Jean-Yves Marion. Abstract Self Modifying Machines. 2016. ⟨hal-01390838⟩

Share