Bibtex de la publication

@TechReport{ deBoCaSa2010.1,
author = {de Michiel, Marianne and Bonenfant, Armelle and Cassé, Hugues and Sainrat, Pascal},
title = "{Loop normalization}",
year = {2010},
month = {octobre},
type = {Rapport de recherche},
number = {RR-2010-17-EN},
institution = {IRIT},
address = {Université Paul Sabatier, Toulouse},
language = {anglais},
URL = {},
keywords = {WCET, flow analysis, loop bounds},
abstract = {One of the important steps in processing the worst case execution time (WCET) of a program is to determine the loops upper bounds. Such bounds are crucial when verifying real-time systems. In a previous paper we have presented our loop bound evaluation method oRange based on three steps: normalization of loops, building expression of the bounds, applying the context to the expression. This paper presents some extensions of the first step (normalization), in particular to resolve some multi-increment of loop variable and some cases where the increment variable is initially undefined.}