OZ Programming Language

Write the semantics of the execution of a local statement that introduces multiple variables simultaneously. For example, the following Oz program local P in local Y in ocal Z in Z-1 proc (P X) Y-X end PZ end end end can be transformed into an equivalent program for which all the declarations have been done altogether ocal P Y Z in Z-1 proc (PXjY-X end (PZ end This assignment extends the kernel language by a declaration statement that introduces multiple variables simultaneously. The statement under consideration is thus local 1 Xn in end Give an operational semantics rule where the statement to be pushed is