Next: Testing Method 2:
Up: Generation of Expressions
Previous: Aim:
Contents
In order to determine whether the OpenMath
expressions are compliant, we shall introduce them back into the
translator. If the translator correctly parses them then they are
compliant. Additionally, we will check the expressions individually to
ensure they are correct.
root
2000-05-01