Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2011 / Oberseminar / Sebastian Maulat, Computing Resource Consumption of Imperative Programs


Inhaltsbereich

Sebastian Maulat, Computing Resource Consumption of Imperative Programs

TCS Oberseminar, Mittwoch, 25.05.2011, 11 Uhr c.t.
Wann 11:15 12:15 25.05.2011
von bis
Wo L109
Termin übernehmen vCal
iCal
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.

Artikelaktionen

abgelegt unter:

Funktionsleiste