Course: Compiler Construction. Chapter 6, Dragon book 2nd Ed

lecture : https://ufile.io/893103

Consider the following post system rules for type checking logical expressions over variables:/rho " ": string rho (upsilon) =/rho upsilon: rho e: string/rho # e: int rho e_1: string rho e_2: string/rho e_1//x_2: string Given rho = {} prove that rho # (" "//s): int with the method explained in class (and lecture notes). Consider the following post system rules for type checking logical expressions over variables:/rho " ": string rho (upsilon) =/rho upsilon: rho e: string/rho # e: int rho e_1: string rho e_2: string/rho e_1//x_2: string Given rho = {} prove that rho # (" "//s): int with the method explained in class (and lecture notes)