Campus Event Calendar
Event Entry
New for: D3
What and Who
Automated Termination Analysis of Java Bytecode by Term Rewriting
Jürgen Giesl
RWTH Aachen
Talk
AG 1, AG 3, AG 4, AG 5, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 23 July 2010
14:00
60 Minutes
E1 4
024
Saarbrücken
Abstract
We present an automated approach to prove termination of Java Bytecode
programs by automatically transforming them to term rewrite systems.
In this way, the numerous techniques and tools developed for
termination analysis of term rewriting can now be used for imperative
object-oriented languages like Java, which can be compiled into
Java Bytecode.
programs by automatically transforming them to term rewrite systems.
In this way, the numerous techniques and tools developed for
termination analysis of term rewriting can now be used for imperative
object-oriented languages like Java, which can be compiled into
Java Bytecode.
Contact
Jennifer Müller
900
--email hidden
passcode not visible
logged in users only
Jennifer Müller, 05/20/2010 12:58 -- Created document.