HipSpec: Automating Inductive Proofs of Program Properties.

Koen Claessen Moa Johansson Dan Rosén Nicholas 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