Préservation des preuves et transformation de programmes

Le paradigme du code mobile implique la distribution des applications par les producteurs de code à environnements hétérogènes dans lesquels elles sont exécutées. Une pratique étendue de ce paradigme est constituée par le développement d'applications telles que les applets ou les scripts Web, t...

Full description

Bibliographic Details
Main Author: Kunz, César
Language:ENG
Published: École Nationale Supérieure des Mines de Paris 2009
Subjects:
Online Access:http://pastel.archives-ouvertes.fr/pastel-00004940
http://pastel.archives-ouvertes.fr/docs/00/50/11/33/PDF/thesis-ckunz.pdf