Java Modeling Language (JML) Langages de programmation C  

Description

Le langage Oz est un langage destiné à l'éducation, permettant de tester beaucoup de paradigmes de programmations. Il est compilé par un compilateur appelé Mozart.

Exemples

declare
A
C={NewCell 0}
proc{A Limit}
  proc{B Limit Now}
    if Limit > Now then 
      thread {B Limit Now + 1} end
      {B Limit Now + 1}
    else D in
       {Exchange C D thread D+1 end}
       {Browse 'You will have a lot of them :)'#@C}
    end
  end
in
   {B Limit 0}
end
{A 4}

Informations complémentaires