Login / Signup

Expérimentations en Coq pour un générateur de code qualifiable.

Nassima IzerroukenMarc PantelXavier ThiriouxOlivier Ssi Yan Kai
Published in: Tech. Sci. Informatiques (2011)
Keyphrases
  • source code
  • upper bound
  • formal methods
  • information retrieval
  • theorem prover
  • program code
  • social networks
  • computer vision
  • website
  • web services
  • bayesian networks
  • multiscale
  • multi agent
  • hidden markov models