The "Simple" language

Contents

The "Simple" language

Prorgram Sample:

/* Procedure definition */
proc MC(n:int) returns (r:int)
var t1:int, t2:int;
begin
  if (n>100) then
     r = n-10;
  else
     t1 = n+11;
     t2 = MC(t1);
     r = MC(t2);
  endif;
end
/* Main procedure */
var a:int, b:int;
begin
  b = MC(a);
end

• Syntax and informal semantics
• Program.
• Instructions.
• Expressions.
• Formal semantics
• Semantics domains.
• Semantics of expressions.
• Semantics of programs

The "Simple" language

Contents