Download Abstract - Robert Chatley

Some concerns were raised over consistency between representations of the program in the
system. If the Kenya code is edited does it invalidate then Java version? If the execute button is
pressed, which version of the code is run? These issues would need to be addressed before
deploying the system in a laboratory environment.
Error Reporting
Some examples of errors detected by the type checker are shown below. In the first case a
variable called "Name" has been declared as a string, but has had an integer assigned to it. This
is an example of a type check.
62