Certifying assembly programs with trails.

Published in: Frontiers Comput. Sci. China (2011)

Keyphrases

computer programs
high level programming
data sets
information retrieval
database
metadata
case study
digital libraries
answer sets
control flow
automatic programming
visually guided