Termination and resource analysis of assembly programs by Petri nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2003

Termination and resource analysis of assembly programs by Petri nets

Abstract

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00147587 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook X LinkedIn More