1. Expand Type Rule 6.2 for Declarations so that it defines the requirement that the type of each variable be taken from a small set of available types, {float, int, bool, char}. Use the same rule style and abstract syntax for Declarations in this chapter.

2. Argue the Java method that implements the function V for Declarations is correct, in the sense that it covers all the cases that the Type Rule itself covers.

3. Modify Type Rule 6.5 to allow implicit char to int and int to float conversations. Modify the V function for expressions to implement type rules.

4. Modify the type transformer class so that the implicit conversations of #3 are converted to explicit conversions.

5. Modify the mathematical V functions of Section 6.3 so that the implicit conversations of #3 are included.

Academic Honesty!
It is not our intention to break the school's academic policy. Projects posted are only used as a reference and should not be submitted as is. We are not held liable for any misuse of the solutions. Please see the frequently asked questions page for further questions and inquiries.
Kindly fill out the form. Please provide a valid email address and we'll get back to you in less than 24 hours. We will be sending an invoice through PayPal upon confirmation. We are a non profit organization however we need an amount to keep this organization running, and to be able to complete our research and development.