Logical Pretest Loops (cont.)

CS 3304: Comparative Languages

Semantics

[ Course Documents ] : [ Semantics ]


Previous	Contents	Next	Keyword Index

M_l(while B do L, s) =

    if  M_b(B, s) = false  then
        s
    else
        M_l(while B do L, M_s(L, s))