0.1.0

• Undeclared Variables / Functions

• Variables declared multiple times in the same environment

• Using uninitialized variables

• Correct use of pointers

• Current parameters not conforming to formal parameters (including checking on parameters passed for var)

• The correctness of types

• It also controls access to "deleted" identifiers with particular pay attention to aliasing by implementing the system.

• Throughout the project, assume that programs can be recursive but not mutually recursive .

• We introduced also the interpreter simulator:

  • A. The bytecode has instructions for a stacked machine that stores in a appropriate register the value of the last calculated instruction
  • B. Implement an interpreter for the bytecode.
  • C. Compile and execute high-level language programs.