Which of the following shows a denotational semantic mapping for evaluating an assignment statement? Mb (B, s) 2 if VARMAP (i, s) == undef for some i in B then error else B', where B' is the result of evaluating B after setting each variable i in B to VARMAP (i, s) Ma (x=E,5) 4 if Me(E, s) == error then error else s' = {,,...,}, where for j = 1,2,...,n if ij then vj' = Me(E,s) else vj = VARMAP (ij,s) == X %3D Me (, s) case of => Mdec(,s) = if VARMAP (, s) == undef %3D then error
Which of the following shows a denotational semantic mapping for evaluating an assignment statement? Mb (B, s) 2 if VARMAP (i, s) == undef for some i in B then error else B', where B' is the result of evaluating B after setting each variable i in B to VARMAP (i, s) Ma (x=E,5) 4 if Me(E, s) == error then error else s' = {,,...,}, where for j = 1,2,...,n if ij then vj' = Me(E,s) else vj = VARMAP (ij,s) == X %3D Me (, s) case of => Mdec(,s) = if VARMAP (, s) == undef %3D then error
Computer Networking: A Top-Down Approach (7th Edition)
7th Edition
ISBN:9780133594140
Author:James Kurose, Keith Ross
Publisher:James Kurose, Keith Ross
Chapter1: Computer Networks And The Internet
Section: Chapter Questions
Problem R1RQ: What is the difference between a host and an end system? List several different types of end...
Related questions
Question
DO NOT COPY FROM OTHER WEBSITES
Transcribed Image Text:Which of the following shows a denotational semantic mapping
for evaluating an assignment statement?
Mp (B, s) =
if VARMAP (i, s)
== undef for some i in B
then error
else B', where B' is the result of
evaluating B after setting each
variable i in B to VARMAP (i, s)
Ma (x=E,5) 4
if Me(E, s)
== error
then error
else s' = {<i1, v1'>,<i2,v2'>,...,<in,Vn'>}, where
for j = 1,2,...,n
if ij
then vj' = Me(E,s)
else vj = VARMAP (ij,s)
== X
Me (<expr>, s)
case <expr> of
<dec_num> => Mdec(<dec_num>,s)
<var> = if VARMAP (<var>, s) == undef
then error
else VARMAP (<var>, s)
<binary_expr> =>
if (Me (<binary_expr>.<left_expr>,s)
== undef
OR
Me (<binary_expr>.<right_expr>,s) == unde
f)
then error
else if (<binary_expr>.<operators> ==
'+')
then Me (<binary_expr>.<left_expr>, s) +
Me (<binary_expr>.<right_expr>, s)
else Me (<binary_expr>.<left_expr>, s) *
Me (<binary_expr>.<right_expr>, s)
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 2 steps
Recommended textbooks for you
Computer Networking: A Top-Down Approach (7th Edi…
Computer Engineering
ISBN:
9780133594140
Author:
James Kurose, Keith Ross
Publisher:
PEARSON
Computer Organization and Design MIPS Edition, Fi…
Computer Engineering
ISBN:
9780124077263
Author:
David A. Patterson, John L. Hennessy
Publisher:
Elsevier Science
Network+ Guide to Networks (MindTap Course List)
Computer Engineering
ISBN:
9781337569330
Author:
Jill West, Tamara Dean, Jean Andrews
Publisher:
Cengage Learning
Computer Networking: A Top-Down Approach (7th Edi…
Computer Engineering
ISBN:
9780133594140
Author:
James Kurose, Keith Ross
Publisher:
PEARSON
Computer Organization and Design MIPS Edition, Fi…
Computer Engineering
ISBN:
9780124077263
Author:
David A. Patterson, John L. Hennessy
Publisher:
Elsevier Science
Network+ Guide to Networks (MindTap Course List)
Computer Engineering
ISBN:
9781337569330
Author:
Jill West, Tamara Dean, Jean Andrews
Publisher:
Cengage Learning
Concepts of Database Management
Computer Engineering
ISBN:
9781337093422
Author:
Joy L. Starks, Philip J. Pratt, Mary Z. Last
Publisher:
Cengage Learning
Prelude to Programming
Computer Engineering
ISBN:
9780133750423
Author:
VENIT, Stewart
Publisher:
Pearson Education
Sc Business Data Communications and Networking, T…
Computer Engineering
ISBN:
9781119368830
Author:
FITZGERALD
Publisher:
WILEY