[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | 2006-07-26 (08:15) |
| From: | Virgile Prevosto <virgile.prevosto@m...> |
| Subject: | Re: [Caml-list] OCaml & Microsoft? |
Le mar 25 jui 2006 19:22:17 CEST, Matt Gushee <matt@gushee.net> a écrit : > I just noticed that Microsoft is a member of the OCaml Consortium. > Anyone know what, if anything, they are actually using OCaml for? > This is a bit hidden in Microsoft's site, but according to this page (see "The Right Tools for the Job" item) <http://www.microsoft.com/whdc/devtools/tools/sdv-case.mspx>, Ocaml is used in their Static Driver Verifier (SDV). -- E tutto per oggi, a la prossima volta. Virgile