A Cilk programozási nyelv

Helyesség

A nyelvben nincsenek helyességbizonyítási eszközök.