Towards Certified Slicing.

Daniel Wasserrab

Published in: Arch. Formal Proofs (2008)

Keyphrases

program slicing
data sets
decision making
general purpose
artificial intelligence
natural language
digital libraries
search space
knowledge discovery