Automatic Function Annotations for Hoare Logic

Daniel Matichuk

Published in: SSV (2012)

Keyphrases

sound and complete axiomatization
manual annotation
multi valued
genetic algorithm
modal logic
semi automatic
semantic annotation
metadata
data driven
computational properties
multiscale
keywords
logic programming
fully automatic
gene ontology
automatic annotation