KStruct: preserving consistency through C annotations.

Alexander Schmidt Martin von Löwis Andreas Polze

Published in: PLOS@SOSP (2009)

Keyphrases

semantic annotation
metadata
neural network
evolutionary algorithm
constraint networks
gene ontology
consistency checking
temporal consistency
maintaining consistency
information systems
global constraints
real time
color images
ground truth
semi automatic