Login / Signup

Automatic induction proofs of data-structures in imperative programs.

Duc-Hiep ChuJoxan JaffarMinh-Thai Trinh
Published in: PLDI (2015)
Keyphrases
  • data structure
  • imperative programs
  • machine learning
  • semi automatic
  • data sets
  • fully automatic
  • inductive learning
  • artificial intelligence
  • high level
  • mobile robot
  • data types
  • efficient data structures