[eresi-dev] ERESI will feature the Ekoparty in Buenos Aires on October 2/3

[Julien F. Vanegue]

Hey Guys,

For those who will be around, I will give a talk about the
Evarista static analyzer at Ekoparty (www.ekoparty.com.ar)
that will happen on October 2 & 3 2008 in Buenos Aires.

The talk will be focused on program transformation and
data-flow analysis using the ERESI domain specific language.

Upcoming analysis will also be introduced, such as interval
analysis. Notice that both those analysis are instances of
a more formal definition of static analysis, based on the
axiomatic semantics of Hoare.

Enjoy the framework and see you at ekoparty !

-JFV