Sign in

HipSpec: Automating Inductive Proofs of Program Properties.

Koen ClaessenMoa JohanssonDan RosénNicholas Smallbone
Published in: ATx/WInG@IJCAR (2012)
Keyphrases
  • desirable properties
  • computer programs
  • real time
  • inductive learning
  • structural properties
  • real world
  • machine learning
  • artificial intelligence
  • social networks
  • case study
  • functional programs
  • equational theories