Aufgabe 1

Betrachten Sie das Programm

program check = 
begin
  var a: real;
  proc doit(a: real) 
  begin
    a := 1.2;
    out (a);
  end;
  proc twice(p: proc, val: real)
  begin
    p(val);
    out(val);
  done;
  a := 2.2;
  doit(a);
  out(a);
  twice(doit,a);
  out(a);
end.  
      

Was wird im Falle von call by name, call by reference und call by value jeweils ausgegeben? Erläutern Sie die jeweilige Semantik.
Welcher Code wird für die Funktionsaufrufe doit(a) und p(val) erzeugt, und woher stammen die im Code abgelegten Informationen?

Aufgabe 2

Bei der Speicherbelegung