Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] OCaml & Microsoft?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
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