Sign in

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

Rohit N. KundajiR. 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