Weakest Precondition for General Recursive Programs Formalized in Coq.

Xingyuan Zhang Malcolm Munro Mark Harman Lin Hu

Published in: TPHOLs (2002)

Keyphrases

recursive programs
program synthesis
logic programs
machine learning
domain knowledge
data driven
formal methods