Az ELASTIC programozási nyelv

Párhuzamosság és helyességbizonyítás

A nyelv nem támogatja a helyességbizonyítást és a párhuzamosságot.