Certifying and Reasoning on Cost Annotations in C Programs.

Nicholas Ayache Roberto M. Amadio Yann Régis-Gianas

Published in: FMICS (2012)

Keyphrases

computer programs
knowledge base
knowledge representation
total cost
domain knowledge
answer sets
meta level
expected cost
analogical reasoning
reasoning systems
reasoning process
gene ontology
qualitative reasoning
high cost
visual features
active learning
metadata