Browse thread
Re: [Caml-list] OCaml & Microsoft?
- Basile STARYNKEVITCH
[
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:18) |
| From: | Basile STARYNKEVITCH <basile@s...> |
| Subject: | Re: [Caml-list] OCaml & Microsoft? |
FWIW, Microsoft seems to ship some static analysis program coded in Ocaml (SDV) inside the Windows Driver Kit: http://www.microsoft.com/whdc/devtools/tools/sdv-case.mspx -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basile<at>starynkevitch<dot>net aliases: basile<at>tunes<dot>org = bstarynk<at>nerim<dot>net 8, rue de la Faïencerie, 92340 Bourg La Reine, France