Sign in

Experience report: OCaml for an industrial-strength static analysis framework.

Pascal CuoqJulien SignolesPatrick BaudinRichard BonichonGéraud CanetLoïc CorrensonBenjamin MonateVirgile PrevostoArmand Puccetti
Published in: ICFP (2009)
Keyphrases
  • static analysis
  • case study
  • industrial strength
  • artificial intelligence
  • probabilistic model
  • real world
  • data sources