Archives of the Caml mailing list > Message from Xavier Leroy

Browse thread

RE: [Caml-list] Efficient and canonical set representation?

Fred Smith
- Diego Olivier Fernandez Pons
  - Christophe Raffalli
    - Eric Dahlman
      - Brian Hurt
        
        Eric Dahlman
        
        Brian Hurt
        
        Xavier Leroy
        
        Diego Olivier Fernandez Pons
        
        Eric Dahlman
        
        Diego Olivier Fernandez Pons
      - Christophe Raffalli
    - Christophe Raffalli
      - Xavier Leroy
  - Julien Signoles

Date:	-- (:)
From:	Xavier Leroy <xavier.leroy@i...>
Subject:	Re: [Caml-list] Rounding mode

> Hmm.  Actually, I wonder if type systems could be extended to detect 
> numerical instabilities?

It's an extremely tough problem, but you might be interested in the
following papers:

"Static Analyses of the Precision of Floating-Point Operations",
Eric Goubault, Static Analysis Symposium 2001.

"Propagation of Roundoff Errors in Finite Precision Computations: a
Semantics Approach", Matthieu Martel, European Symposium on
Programming 2002.

- Xavier Leroy

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners