Write a denotational semantics mapping functionfor switch statementin java

Write a denotational semantics mapping function for switch statement

Question 7 Which of the following statements are TRUE? (Check all that apply) There are exactly two distinct semantics models for formal parameters: in and inout There are two conceptual models of how data transfers take place in parameter transmission: Either an actual value is copied (to the caller, to the called, or both ways) or an access path is transmitted. Some languages such as Python allow subprograms to return more than one value. Contemporary software-engineering principles dictate that access by subprogram code to data outside the subprogram should be maximized In most contemporary languages, parameter communication takes place through the heap

a) We have seen different reduction strategies and evaluation forms in lambda calculusand in Haskell. What are the key points that you can summarise and how would youcomment on these different evaluation strategies, with reference to normalisation?b) Comment on the ways "typing" is handled in the theory (à-la-Church and à-la-Curry) incomparison to those you have seen in Haskell.