The "Simple" language

Contents

The "Simple" language

Porgram Sample:

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

• Syntax and informal semantics
• Program.
• Instructions.
• Expressions.
• Formal semantics (to be updated)
• Semantics domains.
• Semantics of expressions.
• Semantics of programs

The "Simple" language

Contents