[Club2] Vortrag am 12.05.

[Norbert Schirmer]

Am 12.05 berichtet Andreas Dehne's =FCber seine Diplomarbeit:

   Beweiserzeugende Intervallanalyse --

In diesem Vortrag wird die Erweiterung eines abstrakten Interpreters=20
vorgestellt, mit deren Hilfe die Korrektheit der gelieferten Analyseergebni=
sse=20
gezeigt werden kann.
Bei der analysierten Sprache handelt es sich um einen intraprozeduralen Tei=
l=20
von Jinja-Bytecode, die Korrektheit der Ergebnisse wird in Isabelle/HOL=20
gezeigt.


Zeit: Do. 12.05.05, 14-15 Uhr,
Raum: 00.09.055 (Alan Turing)


    Norbert=20