Sebastian Maulat, Computing Resource Consumption of Imperative Programs
TCS Oberseminar, Mittwoch, 25.05.2011, 11 Uhr c.t.
This presentation introduces a translation from C to RAML. The aim is to compute, completely automatically, bounds on the resource consumption of an imperative program. Relying on the assumption that a syntactic translation preserves the resource behaviour, we provide intuitive bounds for C programs - at compile time - in running the RAML analysis on their translations. We perform the translation on a custom (mathematical) representation of simplified C programs, which is based on CIL. The reasons for the choice of this representation, and its translation into RAML, will be discussed and illustrated using a prototype.
abgelegt unter: Oberseminar