Login / Signup

Fuzzing the Rust Typechecker Using CLP (T).

Kyle DeweyJared RoeschBen Hardekopf
Published in: ASE (2015)
Keyphrases
  • constraint logic programming
  • constraint programming
  • constraint solving
  • answer set programming
  • constraint propagation
  • logic programming language
  • contextual information
  • np complete
  • orders of magnitude