Termination and resource analysis of assembly programs by Petri nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2003

Termination and resource analysis of assembly programs by Petri nets

Résumé

We investigate resource analysis of assembly programs. For this, we construct a Petri net interpretation of programs and define a resource termination principle which is in co-NP. Then, we give a criterion to determine if a program runs without new memory (non size increasing property) which is in Ptime.
Fichier non déposé

Dates et versions

inria-00147587 , version 1 (18-05-2007)

Identifiants

  • HAL Id : inria-00147587 , version 1

Citer

Jean-Yves Marion, Jean-Yves Moyen. Termination and resource analysis of assembly programs by Petri nets. [Research Report] A03-R-348 || marion03a, 2003, 13 p. ⟨inria-00147587⟩
45 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More