123
Quorum

Quorum

Programski jezik Quorum.- prvi svetovno dokazni programski jezik.
Kvorum je orodje splošnega pomena, ki mu rečemo programski jezik, ki temelji na dokazih.Začelo se je kot jezik, ki je bil prvotno zasnovan tako, da je lažje slišati skozi bralnike zaslona za slepe ali slabovidne uporabnike.Sčasoma je Quorum postal programski jezik za splošne namene, zasnovan za vsakega uporabnika.Trenutne različice se zberejo v Java Bytecode in delujejo na Java-ovem virtualnem stroju, podobno kot JRuby, Jython ali Scala.Quorum 3.0 se prav tako prevaja v JavaScript in ga je mogoče zagnati iz spleta ....

Kategorije

Alternativa Quorumu za Java Mobile

Java

Java

Java je računalniški programski jezik splošnega pomena, ki je sočasno, v razredu, objektno usmerjen in posebej zasnovan tako, da ima čim manj odvisnosti od izvajanja.