From: bmd@cs.kuleuven.be   
      
   On Wed, 19 Aug 2009 01:57:57 -0700, - - wrote:   
      
      
   > My question is: is there any compiler (for Eiffel, Java or any other   
   > language) that statically checks assertions, and if so, does it exploit   
   > any of the three advantages listed above?   
      
   Have a look at CIAO Prolog http://clip.dia.fi.upm.es/Software/Ciao/   
   It has assertions that are checked at compile time - maybe not what you   
   are after, but worth checking out.   
   AFAIK, the assertion language is extensible and so are the checkers.   
   Get in touch with Manuel Hermenegildo and/or Manuel Carro.   
      
   Cheers   
      
   Bart Demoen   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)