Umgebungen

Umgebung ist (partielle) Funktion von Name nach Wert

Realisierungen: type Env = String -> Int

import Data.Map ; type Env = Map String Int

Operationen:

Spezifikation:



Johannes Waldmann 2011-01-23