Login / Signup

Vulnerability modelling with functional programming and dependent types.

Cezar Ionescu
Published in: Math. Struct. Comput. Sci. (2016)
Keyphrases
  • functional programming
  • functional language
  • quantifier elimination
  • programming language
  • execution model
  • artificial intelligence
  • data points