2007-06-03: Analysis of switch/case tables

Niklas Holsti of Tidorum Ltd will present a paper at the WCET Workshop 2007 on "Analysing Switch-Case Tables by Partial Evaluation", a new method for analysing control-flow that is being implemented in Bound-T for some target processors.

An abstract and a preprint (pdf) are available.


Valid HTML 4.01 Transitional