On Tue, 11 May 2010, Pascal Obry wrote:

> Le 11/05/2010 18:09, Pascal Obry a �crit :
> > Le 11/05/2010 18:05, Yannick Duch�ne (Hibou57) a �crit :
> >> While they can be compared in some way, there is indeed a big difference
> >> : Eiffel is runtime oriented, SPARK is static analysis oriented.
> > 
> > Right, I've worked on both languages SPARK and Eiffel.
> 
> I meant "I've worked with both..."

I am curious. Would you be willing to share some of your experience and 
tell us about the advantages and disadvantages of both approaches?

Stefan

-- 
------ Stefan Lucks   --  Bauhaus-University Weimar  --   Germany  ------
               Stefan dot Lucks at uni minus weimar dot de
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------