The system will check the following cases in the compilation field:
- 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.
- Andrea Gurioli (@andreagurioli1995)
- Giovanni Pietrucci (@giovanniPi997)
- Mario Sessa (@kode-git)
© Apache License Version 2.0, January 2004