Go backward to Semantics of Eager Evaluation Go up to Top Go forward to Semantics

Other Standard Abstractions

P ::= D in C
D ::= fun I=E | proc I=C | const I=N | alias I=L
       | D₁,D₂ | D₁;D₂
C ::= L:=E | C₁;C₂ | if E then C₁ else C₂ fi
       | while E do C od | skip | call I
E ::= N | @L | E₁+E₂ | E₁=E₂ | not E | I
L ::= loc_i | I
N ::= n | I

Example:

• (const A = 1 , alias X=loc_i);
  fun F = @X+A; proc P = X:=F;
  in call P; X:=A; call P.