Skip to Main content Skip to Navigation
Reports

Termination and resource analysis of assembly programs by Petri nets

Jean-Yves Marion 1 Jean-Yves Moyen 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00147587
Contributor : Publications Loria <>
Submitted on : Friday, May 18, 2007 - 4:30:06 PM
Last modification on : Tuesday, May 5, 2020 - 5:02:20 PM

Identifiers

  • HAL Id : inria-00147587, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

93