[abc] FW: Aprove als Benchmark fuer Compileroptimierung

Hello!
 
Good news: I just got the permission to use Aprove in source format for our purposes. However, we have to make sure that NEVER any of the source would be accessible to people not being member of our team, especially not to the outer world, i.e. the internet etc.
 
I will try to check in the code by the end of the week.
 
Cheers,
Eric
 

--
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada
________________________________
From: Juergen Giesl [mailto:giesl@informatik.rwth-aachen.de]
Sent: Wed 25.01.2006 07:58
To: Eric Bodden
Cc: thiemann@informatik.rwth-aachen.de; Peter Schneider-Kamp
Subject: Re: Aprove als Benchmark fuer Compileroptimierung
Lieber Herr Bodden,
entschuldigen Sie bitte, dass wir uns auf Ihre Mail noch nicht
gemeldet hatten. Wir haben da mal zu dritt drüber gesprochen, aber
dann ist es in den vielen anderen Dingen untergegangen, die wir
momentan zu tun haben.
Wir haben nicht dagagen, dass Sie AProVE hier einsetzen, vorausgesetzt,
dass der Source-Code wirklich nicht öffentlich gemacht wird. Aber falls
Sie ohnehin nur auf Bytecode-Level arbeiten, dann brauchen Sie den
Source doch gar nicht. Der Bytecode von AProVE 1.2 ist ohnehin frei
auf den Webseiten verfügbar (als jar-file).
Idealerweise würden wir uns natürlich wünschen, dass es einen Compiler
gäbe, mit dem AProVE zu möglichst effizientem Code compiliert werden
würde. Unsere bisherigen Experimente mit kommerziellen Compilern waren
da sehr ernüchternd. Wenn Sie da etwas besseres haben bzw. entwickeln,
wäre das für uns sehr hilfreich.
Viele Grüße
Jürgen Giesl