HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Friday, May 18, 2007 - 4:30:06 PM
Last modification on : Friday, February 4, 2022 - 3:32:48 AM


  • HAL Id : inria-00147587, version 1



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⟩



Record views