While-ADA

Analizzatore statico non relazionale (domini: Segni - Intervalli)

Analizzatore statico relazionale (domini: Karr)

Come compilare While-ADA [Unix]

Installare Stack:

curl -sSL https://get.haskellstack.org/ | sh

ed eseguire:

While-language/While-ADA$ stack run /wp/euclide.txt/

dove /wp/euclide.txt è un possibile sorgente in While-language da analizzare.