Refinement calculus: A basis for translation validation, debugging and certification.

Rohit N. Kundaji R. K. Shyamasundar

Published in: Theor. Comput. Sci. (2006)

Keyphrases

third party
starting point
machine translation
data sets
machine learning
information systems
knowledge base
online learning
temporal reasoning
execution traces