Abstract Self Modifying Machines - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2016

Abstract Self Modifying Machines

Hubert Godfroy
  • Function : Author
  • PersonId : 779488
  • IdRef : 221414150


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.
Fichier principal
Vignette du fichier
lola.pdf (89.39 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01390838 , version 1 (02-11-2016)


Attribution - NoDerivatives


  • HAL Id : hal-01390838 , version 1


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


Gmail Facebook X LinkedIn More